By-name lookups the value solver folds. Only the name may be given; any other arg means Top.
mget is excluded: it returns a list, which the value domain cannot state.
They are all declared by PkgName.Base, so a same-named function elsewhere does not fold.
By-name lookups the value solver folds. Only the name may be given; any other arg means Top.
mgetis excluded: it returns a list, which the value domain cannot state. They are all declared by PkgName.Base, so a same-named function elsewhere does not fold.