`|_`|

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 `|_`|

Definitions:

sizable iterator
Source: /avail/Avail/Data Abstractions/Iterators/Sizable Iterators
Categories: Data Abstractions, Iterators
Answer the size of the specified sizable iterator.
Position Name Type Description
Parameters
1 anIterator sizable iterator A sizable iterator.
Returns [0..∞] The number of elements covered by anIterator, included any elements already answered.
set
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Sets, Queries
Answer the cardinality of the specified set.
Position Name Type Description
Parameters
1 aSet set A set.
Returns [0..∞) The argument's cardinality.
map
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Maps, Queries
Answer the cardinality of the specified map.
Position Name Type Description
Parameters
1 aMap map A map.
Returns [0..∞) The argument's cardinality.
sequence
Source: /avail/Avail/Data Abstractions/Sequences/Abstract Sequences
Categories: Data Abstractions, Sequences
Answer the cardinality of aSequence.
Position Name Type Description
Parameters
1 aSequence sequence A sequence.
Returns [0..∞] The number of elements contained by aSequence.
tuple
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Tuples, Queries
Answer the cardinality of the specified tuple.
Position Name Type Description
Parameters
1 aTuple tuple A tuple.
Returns [0..∞) The argument's cardinality.
empty sequence
Source: /avail/Avail/Data Abstractions/Sequences/Abstract Sequences
Categories: Data Abstractions, Sequences
Answer 0.
Position Name Type Description
Parameters
1 aSequence empty sequence An empty sequence.
Returns 0's type 0.
number
Source: /avail/Avail/Foundation/Math
Categories: Mathematics, Numbers
Compute and answer the absolute value of the argument.
Position Name Type Description
Parameters
1 a number
Returns number The absolute value of the argument.
type
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Queries
Answer the number of instances of the specified type. This is `∞` for all types except for enumerations.
Position Name Type Description
Parameters
1 aType type A type.
Returns [0..∞] The cardinality of the membership of the type.
pojo array
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, POJO, Queries
Answer the number of elements contained by the specified pojo array.
Position Name Type Description
Parameters
1 anArray pojo array A pojo array.
Returns [0..∞) The size of the argument.

Semantic restrictions:

extended integer's type
Source: /avail/Avail/Foundation/Math
Catch accidental use of absolute value on expressions that are strictly non-negative.
Type Description
Parameter Types
extended integer's type
tuple meta
Source: /avail/Avail/Foundation/Literals
Type Description
Parameter Types
tuple meta
map meta
Source: /avail/Avail/Foundation/Literals
Type Description
Parameter Types
map meta
set meta
Source: /avail/Avail/Foundation/Literals
Type Description
Parameter Types
set meta
float's type
Source: /avail/Avail/Foundation/Math
Preserve the numeric type of the argument.
Type Description
Parameter Types
float's type
double's type
Source: /avail/Avail/Foundation/Math
Preserve the numeric type of the argument.
Type Description
Parameter Types
double's type
pojo array's type
Source: /avail/Avail/Foundation/Pojos
Type Description
Parameter Types
pojo array's type
number's type
Source: /avail/Avail/Foundation/Math
Deal with enumeration types.
Type Description
Parameter Types
number's type
extended integer's type
Source: /avail/Avail/Foundation/Math
Strengthen the absolute value operation for integral types.
Type Description
Parameter Types
extended integer's type