⎣_⎦

Definitions:

float
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Numbers, Mathematics
Compute and answer the largest integral single-precision floating point number less than or equal to the argument, i.e., the floor of x.
Position Name Type Description
Parameters
1 x float A single-precision floating point number.
Returns float If the `0` is ±∞ or not-a-number, then x, otherwise the floor of x.
sequence's type
Source: /avail/Avail/Data Abstractions/Sequences/Abstract Sequences
Categories: Data Abstractions, Sequences
Answer the lower bound of the cardinality restriction for instances of the specified sequence type.
Position Name Type Description
Parameters
1 sequenceType sequence's type A sequence type.
Returns [0..∞] The lower bound of sequenceType 's cardinality restriction.
sequence's type
Source: /avail/Avail/Data Abstractions/Sequences/Abstract Sequences
Categories: Data Abstractions, Sequences
Answer the upper bound of the cardinality restriction for instances of the specified sequence type.
Position Name Type Description
Parameters
1 sequenceType sequence's type A sequence type.
Returns [0..∞] The upper bound of sequenceType 's cardinality restriction.
number
Source: /avail/Avail/Foundation/Math
Categories: Mathematics, Numbers
Compute and answer the floor of the argument.
Position Name Type Description
Parameters
1 value number
Returns extended integer The floor of the argument.
dimensioned extended integer
Source: /avail/Dimensional Analysis/Core
Categories: Unclassified
Compute and answer the floor of the argument.
Position Name Type Description
Parameters
1 quantity dimensioned extended integer An integral dimensioned quantity.
Returns dimensioned extended integer The floor of the argument.
extended integer meta
Source: /avail/Avail/Foundation/Early Math
Categories: Integers, Types, Queries
Answer the lower bound of the specified integral range type. Note that unlike _'s⁇genuine lower bound, this method explicitly forbids the argument from being ⊥. It is intended as a practical (but not universal) replacement.
Position Name Type Description
Parameters
1 range extended integer meta An integral range type. Must not be ⊥.
Returns extended integer The lower bound of the argument.
dimensioned extended integer
Source: /avail/Dimensional Analysis/Core
Categories: Unclassified
Compute and answer the ceiling of the argument.
Position Name Type Description
Parameters
1 quantity dimensioned extended integer An integral dimensioned quantity.
Returns dimensioned extended integer The ceiling of the argument.
set meta
Source: /avail/Avail/Foundation/Literals
Categories: Sets, Types, Queries
Answer the lower bound of the argument.
Position Name Type Description
Parameters
1 aSetType set meta A set type.
Returns whole number The lower bound of the argument.
map meta
Source: /avail/Avail/Foundation/Literals
Categories: Maps, Types, Queries
Answer the lower bound of the argument.
Position Name Type Description
Parameters
1 aMapType map meta A map type.
Returns whole number The lower bound of the argument.
double
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Numbers, Mathematics
Compute and answer the largest integral double-precision floating point number less than or equal to the argument, i.e., the floor of x.
Position Name Type Description
Parameters
1 x double A double-precision floating point number.
Returns double If the `0` is ±∞ or not-a-number, then x, otherwise the floor of x.
tuple meta
Source: /avail/Avail/Foundation/Literals
Categories: Tuples, Types, Queries
Answer the lower bound of the argument.
Position Name Type Description
Parameters
1 aTupleType tuple meta A tuple type.
Returns whole number The lower bound of the argument.

Semantic restrictions:

set meta's type
Source: /avail/Avail/Foundation/Literals
Strengthen the lower bound for set types.
Type Description
Parameter Types
set meta's type
⊥'s type's type
Source: /avail/Avail/Foundation/Literals
Type Description
Parameter Types
⊥'s type's type
extended integer's type
Source: /avail/Avail/Foundation/Math
Integers and infinities are their own floors.
Type Description
Parameter Types
extended integer's type
map meta's type
Source: /avail/Avail/Foundation/Literals
Strengthen the lower bound for map types.
Type Description
Parameter Types
map meta's type
tuple meta's type
Source: /avail/Avail/Foundation/Literals
Strengthen the lower bound for tuple types.
Type Description
Parameter Types
tuple meta's type
extended integer meta's type
Source: /avail/Avail/Foundation/Early Math
Strengthen the bound to have the same static type as the argument. Note that this is the strongest possible type because the argument's subtypes have lower and upper bounds drawn from the argument's entire range.
Type Description
Parameter Types
extended integer meta's type