Traitsยง
- Abstraction
- Marks a type as abstractable: its values can be mapped to an idealized version of the type. For instance, machine integers, which have bounds, can be mapped to mathematical integers.
- Concretization
- Marks a type as abstract: its values can be lowered to concrete values. This might panic.