package GuaCaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val signed_fulladd3 : bool -> bool -> bool -> bool * bool
type t
val length : t -> int
val get : t -> int -> bool
val of_unsigned : U.t -> t
val of_bool : bool -> t
val of_nat : int -> t
val to_nat : t -> int
val of_int : int -> t
val to_int : t -> int
val zero : unit -> t
val one : unit -> t
val negative_one : unit -> t
val (+/) : t -> t -> t
val (~-/) : t -> t
val (-/) : t -> t -> t