/avail/Avail/Foundation/Bootstrap/Special Objects: set meta
Source: /avail/Avail/Foundation/Bootstrap/Special Objects (Documentation only; not exported for use)
Categories: Primitives, Types
The set type specifies two parameters for completion:
- The member type (or element type) specifies a type that includes every member. The method _'s⁇element|member type answers the member type of a set type.
- The cardinality restriction is an integral type that specifies the range of sizes that describe instances. The method `|`|_`|`| answers the cardinality restriction of a set type. The floor operation, ⎣_⎦, answers the lower bound of a set type's cardinality restriction. The ceiling operation, ⎡_⎤, answers the upper bound of a set type's cardinality restriction.