static final class WellDefinednessCheck.Condition extends Object
(package private) Term
explicit
implicit
WellDefinednessCheck.Condition(Term implicit, Term explicit)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
final Term implicit
final Term explicit