Amount.Signed
include Iffable with type bool := Bool.t
type t
val if_ : Bool.t -> then_:t -> else_:t -> t
val equal : t -> t -> Bool.t
val is_pos : t -> Bool.t
val negate : t -> t
val add_flagged : t -> t -> t * [ `Overflow of Bool.t ]
val of_unsigned : unsigned -> t