Module Ledger.Path

type elem = [
| `Left of Mina_base.Ledger_hash.t
| `Right of Mina_base.Ledger_hash.t
]
val sexp_of_elem : elem -> Ppx_sexp_conv_lib.Sexp.t
val elem_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> elem
val __elem_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> elem
val equal_elem : elem -> elem -> bool
val elem_hash : elem -> Mina_base.Ledger_hash.t
type t = elem list
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
val equal : t -> t -> bool
val check_path : t -> Mina_base.Ledger_hash.t -> Mina_base.Ledger_hash.t -> bool