Checked (mina_state.Mina_state.Registers.Checked)

type nonrec t =
  ( Mina_base.Ledger_hash.var,
    Mina_base.Pending_coinbase.Stack.var,
    Local_state.Checked.t )
    t

val to_input : 
  ( Mina_base.Frozen_ledger_hash.var,
    Mina_base.Pending_coinbase.Stack.var,
    Local_state.Checked.t )
    t ->
  Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t

val equal : 
  ( Mina_base.Frozen_ledger_hash.var,
    Mina_base.Pending_coinbase.Stack.var,
    Local_state.Checked.t )
    t ->
  ( Mina_base.Frozen_ledger_hash.var,
    Mina_base.Pending_coinbase.Stack.var,
    Local_state.Checked.t )
    t ->
  Impl.Boolean.var