• Mário Pereira's avatar
    fixes issue #46 · 773c7372
    Mário Pereira authored
    both constructor and projection names are now added to the mod_known from
    Mltree.pmodule, pointing to the type declarations in which they are introduced.
    773c7372
compile.ml 35.4 KB