Module Bool


module Bool: Extlib.ExtBool.Bool
Operations on booleans
Author(s): Gabriel Scherer, David Teller

type t = bool 
The type of booleans. Formally, this is defined as type t = true | false
val not : bool -> bool
The boolean negation.
val (&&) : bool -> bool -> bool
The boolean ``and''. Evaluation is sequential, left-to-right: in e1 && e2, e1 is evaluated first, and if it returns false, e2 is not evaluated at all.
val (||) : bool -> bool -> bool
The boolean ``or''. Evaluation is sequential, left-to-right: in e1 || e2, e1 is evaluated first, and if it returns true, e2 is not evaluated at all.
val zero : bool
val one : bool
val neg : bool -> bool
val succ : 'a -> bool
val pred : 'a -> bool
val abs : 'a -> 'a
val add : bool -> bool -> bool
val mul : bool -> bool -> bool
val sub : 'a -> bool -> bool
val div : 'a -> 'b -> 'c
val modulo : 'a -> 'b -> 'c
val pow : 'a -> 'b -> 'c
val min_num : bool
val max_num : bool
val compare : 'a -> 'a -> int
val of_int : int -> bool
val to_int : bool -> int
val of_string : string -> bool
Convert the given string to a boolean. Raise Invalid_argument "Bool.of_string" if the string is not "true", "false", "0", "1", "tt" or "ff".
val to_string : bool -> string
val of_float : float -> bool
val to_float : bool -> float
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t
val (/) : t -> t -> t
val (**) : t -> t -> t
val (<>) : t -> t -> bool
val (>=) : t -> t -> bool
val (<=) : t -> t -> bool
val (>) : t -> t -> bool
val (<) : t -> t -> bool
val (=) : t -> t -> bool
val operations : t Numeric.numeric

Boilerplate code


S-Expressions

val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val print : 'a Extlib.InnerIO.output -> t -> unit
Printing

val t_printer : t Value_printer.t