/**
* Constructs a {@link KApp} object representing the application of the specified KLabel to the
* specified KList.
*
* @param label the KLabel which is applied to the given KList. A non-null instance of {@link
* KLabel}, {@link Variable} of sort KLabel or {@link Ambiguity}.
* @param child the KList which the given KLabel is applied to. A non-null instance of {@link
* KList}, {@link Variable} of sort KList, or {@link Ambiguity}.
*/
public KApp(Term label, Term child) {
super(label.getLocation(), label.getSource(), Sort.KITEM);
setLabel(label);
setChild(child);
}
