std/core/bool▲toc

Standard boolstd/core/types/bool: V functions.

Booleans are either Truestd/core/types/True: bool or Falsestd/core/types/False: bool.

fun (!=)( x : boolstd/core/types/bool: V, y : boolstd/core/types/bool: V ) : boolstd/core/types/bool: V
fun (<)( x : boolstd/core/types/bool: V, y : boolstd/core/types/bool: V ) : boolstd/core/types/bool: V
fun (<=)( x : boolstd/core/types/bool: V, y : boolstd/core/types/bool: V ) : boolstd/core/types/bool: V
fun (==)( x : boolstd/core/types/bool: V, y : boolstd/core/types/bool: V ) : boolstd/core/types/bool: V
fun (>)( x : boolstd/core/types/bool: V, y : boolstd/core/types/bool: V ) : boolstd/core/types/bool: V
fun (>=)( x : boolstd/core/types/bool: V, y : boolstd/core/types/bool: V ) : boolstd/core/types/bool: V
fun cmp( x : boolstd/core/types/bool: V, y : boolstd/core/types/bool: V ) : orderstd/core/types/order: V

Compare two booleans with Falsestd/core/types/False: bool (<)std/core/bool/(<): (x : bool, y : bool) -> bool Truestd/core/types/True: bool.

fun int( b : boolstd/core/types/bool: V ) : intstd/core/types/int: V

Convert a boolean to an intstd/core/types/int: V.

fun order2( x : boolstd/core/types/bool: V, y : boolstd/core/types/bool: V ) : order2std/core/types/order2: V -> V<boolstd/core/types/bool: V>

Order two booleans in ascending order.

fun show( b : boolstd/core/types/bool: V ) : stringstd/core/types/string: V

Convert a boolstd/core/types/bool: V to a string.

fun xor( x : boolstd/core/types/bool: V, y : boolstd/core/types/bool: V ) : boolstd/core/types/bool: V
private import std/core/typesstd/core/types