Receipt_chain_verifier (mina_commands.Mina_commands.Receipt_chain

val verify : 
  init:Mina_base.Receipt.Chain_hash.t ->
  Mina_base.User_command.t list ->
  Mina_base.Receipt.Chain_hash.t ->
  Mina_base.Receipt.Chain_hash.t Mina_stdlib.Nonempty_list.t option

val verify_right : 
  init:Mina_base.Receipt.Chain_hash.t ->
  Mina_base.User_command.t list ->
  Mina_base.Receipt.Chain_hash.t ->
  Mina_base.Receipt.Chain_hash.t Mina_stdlib.Nonempty_list.t option