Namespaces Symbols

Bool

0.40.0

Definitions

def <==> ( x : Bool y : Bool ) : Bool \ Pure

Returns true if x implies y and vise versa.

def ==> ( x : Bool y : Bool ) : Bool \ Pure

Returns true if x implies y logically holds.

def and ( x : Bool y : Lazy[Bool] ) : Bool \ Pure

Logical and.

def not ( x : Bool ) : Bool \ Pure

Negation of x

def or ( x : Bool y : Lazy[Bool] ) : Bool \ Pure

Logical or.

def → ( x : Bool y : Bool ) : Bool \ Pure

Alias for logical implication.

def ↔ ( x : Bool y : Bool ) : Bool \ Pure

Alias for logical bi-implication.

def ∧ ( x : Bool y : Bool ) : Bool \ Pure

Alias for logical conjunction.

def ∨ ( x : Bool y : Bool ) : Bool \ Pure

Alias for logical disjunction.

def ⊕ ( x : Bool y : Bool ) : Bool \ Pure

Alias for exclusive or.