leastSort

The operation leastSort takes as arguments the metarepresentation of a module $\mathcal{R}$ and the metarepresentation of a term $t$, and it returns the metarepresentation of the least sort or kind of $t$ in $\mathcal{R}$, obtained without reducing the term, that is, the memberships in the module are used to get the information, but equations are not used to reduce the term.

  op leastSort : Module Term ~> Type [special (...)] .

For example,

  Maude> reduce in META-LEVEL :
     leastSort(upModule('NUMBERS, false), 'p['s_['zero.Zero]]) .
  result Sort: 'Nat