module Int_Base:sig
..end
type
i =
| |
Top |
| |
Value of |
include Datatype.S
val zero : t
val one : t
val minus_one : t
val top : t
val neg : t -> t
val is_zero : t -> bool
val is_top : t -> bool
val inject : Integer.t -> t
val project : t -> Integer.t
Error_Top
if the argument is Top
.val cardinal_zero_or_one : t -> bool