Nullifiers (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 size : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  Storage.Sapling.Nullifiers_size.value
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val mem : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  Storage.Sapling.Nullifiers_hashed.elt ->
  (Raw_context.t * bool) Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val add : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  Storage.Sapling.Nullifiers_hashed.elt list ->
  (Raw_context.t * Mavryk_protocol_environment_alpha.Z.t,
    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

val get_from : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  Storage.Sapling.Nullifiers_ordered.key ->
  (Storage.Sapling.Nullifiers_ordered.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