Module term
fetish_lib
The application of some PrimitiveTermPointer (which points to a FuncImpl) to some number of TermReference arguments.
PrimitiveTermPointer
FuncImpl
TermReference