@Override public Term unit() { org.kframework.kore.KApply kApply = definition.configurationInfo().getUnit(cellSort); return new KItem( KLabelConstant.of(kApply.klabel().name(), definition), KList.EMPTY, sort(), true); }
@Override public KLabel constructorLabel() { org.kframework.kore.KLabel kLabel = definition.configurationInfo().getConcat(cellSort); return KLabelConstant.of(kLabel.name(), definition); }