package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val fulladd2 : bool -> bool -> bool * bool
val fulladd3 : bool -> bool -> bool -> bool * bool
type t
val get : ?default:bool -> t -> int -> bool
val of_bool : bool -> t
val of_nat : int -> t
val to_nat : t -> int
val one : unit -> t
val (+/) : t -> t -> t
val shift_left_nat : t -> int -> t
val shift_right_nat : t -> int -> t
val shift_left : t -> int -> t
val shift_right : t -> int -> t
val (<!) : bool -> bool -> bool
val (</) : t -> t -> bool
val (<=/) : t -> t -> bool
val (>/) : t -> t -> bool
val (>=/) : t -> t -> bool