Bool

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.

def →(x: Bool, y: Bool): Bool Source

Alias for logical implication.

def ↔(x: Bool, y: Bool): Bool Source

Alias for logical bi-implication.

def ∧(x: Bool, y: Bool): Bool Source

Alias for logical conjunction.

def ∨(x: Bool, y: Bool): Bool Source

Alias for logical disjunction.

def ⊕(x: Bool, y: Bool): Bool Source

Alias for exclusive or.