Module Uint64_wrapperSource

Sourcetype uint64 = Nat_big_num.num
Sourceval max_int : Nat_big_num.num
Sourceval add : Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.num
Sourceval minus : Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.num
Sourceval of_string : string -> Nat_big_num.num
Sourceval of_int : int -> Nat_big_num.num
Sourceval of_int64 : Int64.t -> Nat_big_num.num
Sourceval shift_left : Nat_big_num.num -> int -> Nat_big_num.num
Sourceval shift_right : Nat_big_num.num -> int -> Nat_big_num.num
Sourceval logand : Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.num
Sourceval logor : Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.num
Sourceval to_string : Nat_big_num.num -> string
Sourceval to_int : Nat_big_num.num -> int
Sourceval equal : Nat_big_num.num -> Nat_big_num.num -> bool
Sourceval of_oct : char -> char -> char -> char -> char -> char -> char -> char -> Nat_big_num.num
Sourceval to_bigint : uint64 -> Nat_big_num.num
Sourceval of_bigint : Nat_big_num.num -> uint64
Sourceval to_bytes : Nat_big_num.num -> char * char * char * char * char * char * char * char