The META-LEVEL module also provides in a built-in way commonly needed operations on the poset of sorts of a given module.
All these operations, related to sorts and kinds, take as first argument a term of sort Module. Assuming that this term is indeed the metarepresentation of a module, the remaining arguments might be terms representing sorts or kinds that do not correspond to sorts or kinds declared in such a module; in this case, the operation is undefined.
In the following we include descriptions together with simple examples of using these operations.