TYPECONST : typeconstant

wff Primitives

• i
• o

ETPS documentation homepage

TPS homepage