Module term_reference

fetish_lib

Module term_reference 

Source

Enumsยง

TermReference
A reference to an arbitrary term, which may belong to a function Type or a vector Type. Vectors are stored inline here, whereas functions are stored as TermPointers to the relevant crate::term::PartiallyAppliedTerms in an InterpreterState.