Merkle_tree.Run
module Make (Impl : Snark_intf.Run_basic) (Hash : sig ... end) (Elt : sig ... end) : sig ... end