Merkle_list_verifier
module type Inputs_intf = sig ... end
module Make_intf (Input : Inputs_intf) : sig ... end
module Make (Input : Inputs_intf) : Make_intf(Input).S