Module type Merkle_path.S

type hash
type elem = [
| `Left of hash
| `Right of hash
]
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 -> hash
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 implied_root : t -> hash -> hash
val check_path : t -> hash -> hash -> bool