Make (merkle_list_prover.Merkle_list

Parameters

module M : Core_kernel.Monad.S

module Input : Inputs_intf with module M := M

val prove : 
  ?length:int ->
  context:Input.context ->
  Input.value ->
  (Input.value * Input.proof_elem list) M.t