Module InfInstance
A version of the Instance module that works with infinite types.
See Instance for more details.
When using instanceof inheritance with finite types, prefer using the Instance module.
Import path
import qtil.inheritance.InstanceClasses
| Type | A convenience base class that is an |