Merkle_list_prover.Make_intf
module M : Core_kernel.Monad.S
module Input : Inputs_intf with module M := M
module type S = sig ... end