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. | ||