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