Module fetish_lib::newly_evaluated_terms

Structs

NewlyEvaluatedTerms

A collection of TermApplicationResults and NonPrimitiveTermPointers which were generated as a consequence of new evaluations performed by an crate::interpreter_state::InterpreterState.