type_system library

Classes

TypeSystem
A representation of the operations defined for the type system. [...]