1-Inputs.Balance
include Iffable with type bool := Bool.t
type t
val if_ : Bool.t -> then_:t -> else_:t -> t
val sub_amount_flagged : t -> Amount.t -> t * [ `Underflow of Bool.t ]
val add_signed_amount_flagged : t -> Amount.Signed.t -> t * [ `Overflow of Bool.t ]