Make (merkle_list_verifier.Merkle_list

Parameters

module Input : Inputs_intf

val verify : 
  init:Input.hash ->
  Input.proof_elem list ->
  Input.hash ->
  Input.hash Mina_stdlib.Nonempty_list.t option

val verify_right : 
  init:Input.hash ->
  Input.proof_elem list ->
  Input.hash ->
  Input.hash Mina_stdlib.Nonempty_list.t option