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