In

case class In[T](x: Term[T], y: List[T])(implicit evidence$8: Eq[T]) extends Predicate
Companion:
object
trait Predicate
trait Term[Boolean]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def children: List[Term[_]]
def subst(x: Term[T]): In[T]

Inherited methods

def exists(f: Term[_] => Boolean): Boolean
Inherited from:
Term
def fold[Acc](acc: Acc)(f: (Acc, Term[_]) => Acc): Acc
Inherited from:
Term
def forall(f: Term[_] => Boolean): Boolean
Inherited from:
Term
Inherited from:
Product