Type Subsystem

This section describes facilities used for accessing the Jancy type system.