Module Finitize
A module to convert an infinite type into a finite type by constraining it with a predicate.
Import path
import qtil.inheritance.FinitizeModules
| Finitize | A module to convert an infinite type to a finite type by constraining it to a finite set of values. |