Interpreting a lang::TypedTerm requires "injecting" parameter types as special load ops.
This means we also pass a dict of param types into the interpreter.
However, this should not be a special case: we should instead have type maps for all definitions and declarations;
parameters can then be a special case.
Interpreting a
lang::TypedTermrequires "injecting" parameter types as special load ops.This means we also pass a dict of param types into the interpreter.
However, this should not be a special case: we should instead have type maps for all definitions and declarations;
parameters can then be a special case.