Checked (currency.Currency.Amount.Signed.Checked)

val constant : t -> var

val of_unsigned : var -> var

val sgn : var -> Sgn.var Snark_params.Tick.Checked.t

val magnitude : var -> var Snark_params.Tick.Checked.t

val negate : var -> var

val if_ : 
  Snark_params.Tick.Boolean.var ->
  then_:var ->
  else_:var ->
  var Snark_params.Tick.Checked.t

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

val to_input_legacy : 
  var ->
  ( _, Snark_params.Tick.Boolean.var ) Random_oracle.Legacy.Input.t
    Snark_params.Tick.Checked.t

val add : var -> var -> var Snark_params.Tick.Checked.t

val add_flagged : 
  var ->
  var ->
  (var * [ `Overflow of Snark_params.Tick.Boolean.var ])
    Snark_params.Tick.Checked.t

val assert_equal : var -> var -> unit Snark_params.Tick.Checked.t

val equal : 
  var ->
  var ->
  Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val (+) : var -> var -> var Snark_params.Tick.Checked.t

val to_field_var : 
  var ->
  Snark_params.Tick.Field.Var.t Snark_params.Tick.Checked.t

val to_fee : var -> Fee.Signed.Checked.t

val of_fee : Fee.Signed.Checked.t -> var

type t = var