public static final class WellDefinednessCheck.TermAndFunc extends 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