completeName

The operation completeName takes as arguments the metarepresentation of a module $\mathcal{R}$ and the metarepresentation of a sort $s$ or a kind $k$. When its second argument is the metarepresentation of a sort $s$, it returns the same metarepresentation of $s$. But if its second argument is the metarepresentation of a kind $k$, then it returns the metarepresentation of the complete name of $k$ in $\mathcal{R}$, i.e., the metarepresentation of the comma-separated list of the maximal elements of the corresponding connected component.

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

For example,

  Maude> reduce in META-LEVEL :
           completeName(upModule('NUMBERS, false), 'Zero) .
  result Sort: 'Zero

  Maude> reduce in META-LEVEL :
           completeName(upModule('NUMBERS, false), '`[Zero`]) .
  result Kind: '`[NatSeq`,NatSet`]