Module Storage.Make_StorageSource

Parameters

Signature

Sourcemodule Tree : sig ... end
Sourcemodule Roots : sig ... end
Sourcemodule Nullifiers : sig ... end
Sourcemodule Ciphertexts : sig ... end
Sourcetype state = {
  1. tree : Tree.t;
  2. nullifiers : Nullifiers.t;
  3. roots : Roots.t;
  4. ciphertexts : Ciphertexts.t;
  5. memo_size : int;
}
Sourceval create_empty_state : memo_size:int -> state
Sourceval state_encoding : state Data_encoding.encoding
Sourceval mem_nullifier : state -> Nullifiers.elt -> bool
Sourceval add_nullifier : state -> Nullifiers.elt -> state
Sourceval mem_root : state -> C.Hash.t -> bool
Sourceval empty : memo_size:int -> state
Sourceval get_root : state -> Tree.H.t
Sourceval size : state -> int64 * int64
Sourceval get_memo_size : state -> int
Sourceval get_witness : state -> Tezos_stdlib.Compare.Int64.t -> bytes
Sourceval mem : state -> Ciphertexts.Map.key -> bool