Module meta_var

Module meta_var 

Source

Structs§

MetaVarEnv
a dictionary that stores metavariable instantiation const a = 123 matched with const a = $A will produce env: $A => 123

Enums§

MetaVariable

Type Aliases§

MetaVariableID
Underlying