module Int_Base:sig..end
Big integers with an additional top element.
type
| |
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.tError_Top if the argument is Top.val cardinal_zero_or_one : t -> bool