Module term_application

Module term_application 

Source

Structsยง

TermApplication
The application of some TermPointer to a function to a TermReference argument.