Make_ident (merkle_list_prover.Merkle_list_prover.Make

Parameters

module Input : sig ... end

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