package linksem
-
linksem_zarith
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type uint64 = Nat_big_num.numval max_int : Nat_big_num.numval add : Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.numval minus : Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.numval of_string : string -> Nat_big_num.numval of_int : int -> Nat_big_num.numval of_int64 : Int64.t -> Nat_big_num.numval shift_left : Nat_big_num.num -> int -> Nat_big_num.numval shift_right : Nat_big_num.num -> int -> Nat_big_num.numval logand : Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.numval logor : Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.numval to_string : Nat_big_num.num -> stringval to_int : Nat_big_num.num -> intval equal : Nat_big_num.num -> Nat_big_num.num -> boolval of_oct :
char ->
char ->
char ->
char ->
char ->
char ->
char ->
char ->
Nat_big_num.numval to_bigint : uint64 -> Nat_big_num.numval of_bigint : Nat_big_num.num -> uint64val to_bytes :
Nat_big_num.num ->
char * char * char * char * char * char * char * char