Module term

Module term 

Source

Structsยง

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