-
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
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.