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