• Andrei Paskevich's avatar
    remove anonymous namespaces · 0970675c
    Andrei Paskevich authored
    For realization, code extraction, metas-in-sessions, etc, we need
    absolute names for identifiers. To that purpose it is better to
    have and store the qualified path to every ident.
    0970675c
mlw_module.mli 3.41 KB