Module Uint32_wrapperSource

Sourcetype uint32 = 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 of_char : char -> uint32
Sourceval of_int : int -> uint32
Sourceval of_bigint : Nat_big_num.num -> uint32
Sourceval of_int32 : Int32.t -> uint32
Sourceval to_bigint : uint32 -> Nat_big_num.num
Sourceval shift_left : Nat_big_num.num -> int -> uint32
Sourceval shift_right : Nat_big_num.num -> int -> uint32
Sourceval logand : Nat_big_num.num -> Nat_big_num.num -> uint32
Sourceval logor : Nat_big_num.num -> Nat_big_num.num -> uint32
Sourceval to_string : Nat_big_num.num -> string
Sourceval to_char : Nat_big_num.num -> char
Sourceval to_int : Nat_big_num.num -> int
Sourceval equal : Nat_big_num.num -> Nat_big_num.num -> bool
Sourceval of_string : string -> Nat_big_num.num
Sourceval of_quad : char -> char -> char -> char -> uint32
Sourceval of_dual : char -> char -> uint32
Sourceval to_bytes : Nat_big_num.num -> char * char * char * char
Sourceval to_dual_bytes : Nat_big_num.num -> char * char