Ciphertexts (mavryk-protocol-alpha.Mavryk_raw_protocol_alpha.Sapling

val init : 
  Raw_context.t ->
  Storage.Sapling.id ->
  Raw_context.t Mavryk_protocol_environment_alpha.Lwt.t

val add : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  Storage.Sapling.Ciphertexts.value ->
  Storage.Sapling.Ciphertexts.key ->
  (Raw_context.t * int) Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get_from : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  Storage.Sapling.Ciphertexts.key ->
  (Raw_context.t * Storage.Sapling.Ciphertexts.value list,
    Mavryk_protocol_environment_alpha.Error_monad.error
      Mavryk_protocol_environment_alpha.Error_monad.trace)
    Mavryk_protocol_environment_alpha.Pervasives.result
    Mavryk_protocol_environment_alpha.Lwt.t