Checked (transaction_snark.Transaction_snark.Statement.With

type t = var

val to_input : 
  var ->
  Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t
    Snark_params.Tick.Checked.t

val to_field_elements : var -> Snark_params.Tick.Field.Var.t array