Make_base (merkle_ledger.Merkle_ledger.Any_ledger.Make

Parameters

module Inputs : Inputs_intf

Signature

module Location = Inputs.Location

type witness

The type of the witness for a base ledger exposed here so that it can * be easily accessed from outside this module

val sexp_of_witness : witness -> Ppx_sexp_conv_lib.Sexp.t

module type Base_intf =
  Base_ledger_intf.S
    with module Addr = Location.Addr
    with module Location = Location
    with type key := Inputs.Key.t
     and type token_id := Inputs.Token_id.t
     and type token_id_set := Inputs.Token_id.Set.t
     and type account_id := Inputs.Account_id.t
     and type account_id_set := Inputs.Account_id.Set.t
     and type hash := Inputs.Hash.t
     and type root_hash := Inputs.Hash.t
     and type account := Inputs.Account.t

val cast : (module Base_intf with type t = 'a) -> 'a -> witness

module M : Base_intf with type t = witness