_→_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 _↔_
_⊕_
Argument 2 _→_
_↔_
_←_
_⊕_
_↛_
_↚_

Definitions:

boolean, []→boolean
Source: /avail/Avail/Foundation/Logic
Categories: Logic
Compute and answer the material conditional of the arguments. This is the equivalent of (¬{@param a }) ∨ b. Short-circuit the computation, i.e., only evaluate b if a is true.
Position Name Type Description
Parameters
1 a boolean
2 b []→boolean
Returns boolean
expression phrase ⇒ boolean, expression phrase ⇒ boolean
Source: /avail/Avail/Foundation/Logic
Categories: Primitives, Logic
Given two arbitrary boolean -valued phrase s, answer a material conditional phrase. The resulting phrase short-circuits the computation, i.e., only evaluates b if a is true.
Position Name Type Description
Parameters
1 a expression phrase ⇒ boolean An expression phrase that yield a boolean.
2 b expression phrase ⇒ boolean An expression phrase that yield a boolean.
Returns send phrase ⇒ boolean a → b.
string
Source: /avail/Avail/Foundation/Strings
Categories: Numbers, Integers, Conversions, Stringification
Convert the specified string to an integer.
Position Name Type Description
Parameters
1 str string A string of base-10 digits.
Returns integer

Semantic restrictions:

false's type's type, []→boolean's type
Source: /avail/Avail/Foundation/Logic
If the left-hand argument of _→_ is known statically to be false, then the expression is known statically to be true.
Type Description
Parameter Types
false's type's type
[]→boolean's type
boolean's type, []→(true's type)'s type
Source: /avail/Avail/Foundation/Logic
If the right-hand argument of _→_ is known statically to be true, then the expression is known statically to be true.
Type Description
Parameter Types
boolean's type
[]→(true's type)'s type