Finitize an infinite type by constraining it to a finite set of values.
This module provides a way to create a finite version of an infinite type by applying a constraint that limits the possible values of the type.
Import path
import qtil.inheritance.FinitizeDirect supertypes
Predicates
| toString | Redefine |
Charpred
| Type | Constructor that applies the constraint to the underlying infinite type. |