esmeta
API
Generated with
esmeta/esmeta/esmeta.analyzer/esmeta.analyzer.tychecker/TypeGuardDecl/SymExpr/SEEq

SEEq

esmeta.analyzer.tychecker.TypeGuardDecl.SymExpr.SEEq
final case class SEEq(left: SymExpr, right: SymExpr)

Members list

Value members

Inherited methods

def &&(that: SymExpr): SymExpr

Attributes

Inherited from:
SymExpr
def bases: Set[SymBase]

Attributes

Inherited from:
SymExpr
def has(x: SymBase): Boolean

Attributes

Inherited from:
SymExpr
def kill(bases: Set[SymBase]): Option[SymExpr]

Attributes

Inherited from:
SymExpr
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
SymExpr -> Any
Inherited from:
SymExpr
def ||(that: SymExpr): SymExpr

Attributes

Inherited from:
SymExpr
Generated with