package tezos-sapling

  1. Overview
  2. Docs
module Make_Storage (C : Core_sig.Validator) : sig ... end
include module type of struct include Client end
type state = Client.state
val state_encoding : state Data_encoding.t
val empty : memo_size:int -> state
val size : state -> int64 * int64
val get_memo_size : state -> int
val get_root : state -> Core.Validator.Hash.t
val mem_root : state -> Core.Validator.Hash.t -> bool
val mem : state -> int64 -> bool
val get_witness : state -> int64 -> Bytes.t
val mem_nullifier : state -> Core.Validator.Nullifier.t -> bool
val add_nullifier : state -> Core.Validator.Nullifier.t -> state