Module Make.Path

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