public class Function extends TermAtom
nullAtom
apply, copy, getName, print, substitute
toString
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait