public static final class WellDefinednessCheck.TermAndFunc extends java.lang.Object
Function
func
Term
term
TermAndFunc(Term t, Function f)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public final Term term
public final Function func