Free_hash (snarky.Snarky_backendless.Merkle_tree.Free

type 'a t =

| Hash_value of 'a

| Hash_empty

| Merge of 'a t * 'a t

include Ppx_sexp_conv_lib.Sexpable.S1 with type 'a t := 'a t

val t_of_sexp : ( Sexplib0__.Sexp.t -> 'a ) -> Sexplib0__.Sexp.t -> 'a t

val sexp_of_t : ( 'a -> Sexplib0__.Sexp.t ) -> 'a t -> Sexplib0__.Sexp.t

val diff : 'a t -> 'a t -> bool list option

val run : 
  'a t ->
  hash:( 'a option -> 'hash ) ->
  merge:( 'hash -> 'hash -> 'hash ) ->
  'hash