Bool

Type of boolean values, and its functions.

Definitions

def <==>(x: Bool, y: Bool): Bool§ Source

Returns true if x implies y and vise versa.

def ==>(x: Bool, y: Bool): Bool§ Source

Returns true if x implies y logically holds.

def runIf(f: Unit -> Unit \ ef, cond: Bool): Unit \ ef§ Source

Calls f if cond is true.