Module term_application
fetish_lib
The application of some TermPointer to a function to a TermReference argument.
TermPointer
TermReference