Name val
Definition val(T:type) : class
Defined in core.l
Implementation core
Description For each type T there is a class of values of that type.