Common.Checked
val to_input_legacy : var -> ( Snark_params.Tick.Field.Var.t, Snark_params.Tick.Boolean.var ) Random_oracle.Input.Legacy.t Snark_params.Tick.Checked.t
val constant : t -> var