Checked (mina_base.Mina_base.Transaction_union

val to_input_legacy : 
  var ->
  ( ( 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

val constant : t -> var