False

case object False extends Predicate
trait Singleton
trait Product
trait Mirror
trait Predicate
trait Term[Boolean]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
False.type

Type members

Inherited types

type MirroredElemLabels = EmptyTuple
Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple
Inherited from:
Singleton

The name of the type

The name of the type

Inherited from:
Mirror
type MirroredMonoType = Singleton
Inherited from:
Singleton
type MirroredType = Singleton
Inherited from:
Singleton

Value members

Concrete methods

def children: List[Term[_]]

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
def fromProduct(p: Product): MirroredMonoType
Inherited from:
Singleton
Inherited from:
Product