Assert.Int64
include COMPARISONS with type t = int64
include EQUALITIES with type t = int64
type t = int64
val equal : t check2
val unequal : t check2
val fail : (t, 'a) assertion
module Option : sig ... end
module List : sig ... end
module Array : sig ... end
module List_list : sig ... end
val leq : t check2
val lt : t check2
val geq : t check2
val gt : t check2
val is_zero : t check1