module Make_Storage (C : Core_sig.Validator) : sig ... endmodule Client : Storage_sig.STORAGEinclude module type of struct include Client endtype state = Client.stateval state_encoding : state Data_encoding.tval empty : memo_size:int -> stateval size : state -> int64 * int64val get_memo_size : state -> intval get_root : state -> Core.Validator.Hash.tval mem_root : state -> Core.Validator.Hash.t -> boolval mem : state -> int64 -> boolval get :
state ->
int64 ->
Core.Validator.Commitment.t * Core.Validator.Ciphertext.tval get_witness : state -> int64 -> Stdlib.Bytes.tval mem_nullifier : state -> Core.Validator.Nullifier.t -> boolval add :
state ->
(Core.Validator.Commitment.t * Core.Validator.Ciphertext.t) list ->
stateval add_nullifier : state -> Core.Validator.Nullifier.t -> state