module Bool:sig..end
The ring of booleans.
typet =bool
val eq : bool -> bool -> bool
val add : bool -> bool -> bool
val zero : bool
val neg : 'a -> 'a
val mul : bool -> bool -> bool
val one : bool
val to_string : bool -> string