Module 1-Inputs.Ledger

include Iffable with type bool := Bool.t
type t
val if_ : Bool.t -> then_:t -> else_:t -> t
type inclusion_proof
val empty : depth:int -> unit -> t
val get_account : Account_update.t -> t -> Account.t * inclusion_proof
val set_account : t -> (Account.t * inclusion_proof) -> t
val check_inclusion : t -> (Account.t * inclusion_proof) -> unit
val check_account : Public_key.t -> Token_id.t -> (Account.t * inclusion_proof) -> [ `Is_new of Bool.t ]