Checked (currency.Currency.Balance.Checked)

type t = var

val to_amount : t -> Amount.var

val add_signed_amount : 
  var ->
  Amount.Signed.var ->
  var Snark_params.Tick.Checked.t

val add_amount : var -> Amount.var -> var Snark_params.Tick.Checked.t

val sub_amount : var -> Amount.var -> var Snark_params.Tick.Checked.t

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

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

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

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

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

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

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

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

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

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

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

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

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

module Unsafe : sig ... end