TYPECONST : typeconstant

wff Primitives

• i
• o

TPS documentation homepage

TPS homepage