package GuaCaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type nat = t
val sized_zero : int -> t
val zero : unit -> t
val sized_unit : int -> t
val unit : unit -> t
val normalize : t -> t
val resize : t -> int -> t
val truncate : t -> int -> t
val compare : t -> t -> int
val eq : t -> t -> bool
val (=/) : t -> t -> bool
val lt : t -> t -> bool
val (</) : t -> t -> bool
val gt : t -> t -> bool
val (>/) : t -> t -> bool
val le : t -> t -> bool
val (<=/) : t -> t -> bool
val ge : t -> t -> bool
val (>=/) : t -> t -> bool
exception CarryOverflow of int
exception LT0
exception LowerThanZero of t
val error_minus : t -> t -> t
val minus : t -> t -> t
val (-/) : t -> t -> t
val minusi : t -> int -> t
val add : t -> t -> t
val (+/) : t -> t -> t
val addi : t -> int -> t
val mult : t -> t -> t
val (*/) : t -> t -> t
val multi : t -> int -> t
val quomod : t -> t -> t * t
val quomodi : t -> int -> t * int
val div : t -> t -> t
val (//) : t -> t -> t
val divi : t -> int -> t
val modulo : t -> t -> t
val (mod) : t -> t -> t
val modi : t -> int -> int
val succ : t -> t
val pred : t -> t
val log2_inf : t -> int
val log2_sup : t -> int
val shift_lefti : t -> int -> t
val shift_righti : t -> int -> t
val pow2 : int -> t
val to_string : t -> string
val of_string : string -> t
val to_pretty_string : t -> string
val print : t -> unit
val max : t -> t -> t
val min : t -> t -> t
val mm : t -> t -> t * t
val of_int : int -> t
val of_sized_int : int -> int -> t
val is_int : t -> bool
val to_int : t -> int
val factorial : int -> t
val to_bicimal : t -> int list
val of_bicimal : int list -> t