Go to the source code of this file.
Classes | |
| class | mim::DispatchNormalize |
| Normalizes Dispatches: η-expands non-Lam targets so that every target of a (t_0, ..., t_n)#index jump table is a Lam, as later phases and the backends expect. More... | |
Namespaces | |
| namespace | mim |