Make_statement_scanner.1-Verifier
type t
val verify : verifier:t -> Ledger_proof_with_sok_message.t list -> bool Async_kernel.Deferred.Or_error.t