Module erg_compiler::context::eval

Structs

SubstContext

SubstContext::new([?T; 0], Context(Array(’T, ’N))) => SubstContext{ params: { ’T: ?T; ’N: 0 } } => ctx ctx.substitute([’T; !’N]): [?T; !0]

Functions

type_from_token_kind