Other.Checked
type t = ( Account.Checked.t, Zkapp_basic.Account_state.Checked.t Zkapp_basic.Transition.t, Snark_params.Tick.Field.Var.t Zkapp_basic.Or_ignore.Checked.t ) Poly.Stable.Latest.t
val to_input : t -> Snark_params.Tick.Field.Var.t Random_oracle_input.Chunked.t