Merkle_list_prover (merkle_list_prover.Merkle_list

module type Inputs_intf = sig ... end

module Make_intf
  (M : Core_kernel.Monad.S)
  (Input : Inputs_intf with module M := M) : 
  sig ... end

module Make
  (M : Core_kernel.Monad.S)
  (Input : Inputs_intf with module M := M) : 
  Make_intf(M)(Input).S

module Make_ident (Input : sig ... end) : sig ... end