Module fetish_lib::interpreter_state

Structs

InterpreterState

Represents the state of a simple interpreter for the combinatorial language defined through the referenced Context, with the given TypeId-indexed TypeSpaces and ApplicationTables memoizing all known non-primitive terms and results of term evaluations, respectively.