termName

Compat210

typeIntersection

Compat210

typeName

Compat210

typecheck

Compat210