Checked (currency.Currency.Amount.Checked)

type t = var

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

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

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

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

val sub_or_zero : 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 (+) : var -> var -> var Snark_params.Tick.Checked.t

val (-) : var -> var -> 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 (=) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

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

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

val (<=) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

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

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

val add_signed : var -> Signed.var -> var Snark_params.Tick.Checked.t

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

val of_fee : Fee.var -> var

val to_fee : var -> Fee.var

module Unsafe : sig ... end