Checked.Unhashed
type t =
( Mina_base_import.Public_key.Compressed.var,
Token_id.Checked.t,
Token_permissions.var,
Token_symbol.var,
Currency.Balance.var,
Nonce.Checked.t,
Receipt.Chain_hash.var,
Mina_base_import.Public_key.Compressed.var,
State_hash.var,
Timing.var,
Permissions.Checked.t,
Zkapp_account.Checked.t )
Poly.t
val typ : ( t, Stable.Latest.t ) Snark_params.Tick.Typ.t