package linksem

  1. Overview
  2. Docs
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
type uint64 = Nat_big_num.num
val max_int : Nat_big_num.num
val of_string : string -> Nat_big_num.num
val of_int : int -> Nat_big_num.num
val of_int64 : Int64.t -> Nat_big_num.num
val shift_left : Nat_big_num.num -> int -> Nat_big_num.num
val shift_right : Nat_big_num.num -> int -> Nat_big_num.num
val to_string : Nat_big_num.num -> string
val to_int : Nat_big_num.num -> int
val equal : Nat_big_num.num -> Nat_big_num.num -> bool
val of_oct : char -> char -> char -> char -> char -> char -> char -> char -> Nat_big_num.num
val to_bigint : uint64 -> Nat_big_num.num
val of_bigint : Nat_big_num.num -> uint64
val to_bytes : Nat_big_num.num -> char * char * char * char * char * char * char * char