Name	type
Definition	type : class
Defined in	core.l
Implementation	core
Description	The class of types.