Checked (mina_base.Mina_base.Transaction_union

val constant : t -> var

val to_input_legacy : 
  ( Tag.Unpacked.var,
    ( Snark_params.Tick.Field.Var.t, Snark_params.Tick.Boolean.var )
      Mina_wire_types.Public_key.Compressed.Poly.V1.t,
    Mina_base__Account_id.Digest.Checked.t,
    Currency.Amount.var,
    Snark_params.Tick.Boolean.var )
    t_ ->
  ( ( Snark_params.Tick.Field.Var.t, Snark_params.Tick.Boolean.var )
      Random_oracle.Input.Legacy.t,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t