Module fetish_lib::embedder_state

Structs

EmbedderState

An EmbedderState keeps track of the embeddings of function terms (TermModels) which come from some InterpreterState, and also the learned Elaborators for every function type.