Merkle_ledger.Merkle_path
module type S = sig ... end
module Make (Hash : sig ... end) : S with type hash := Hash.t