esmeta
API
Generated with
esmeta/esmeta/esmeta.analyzer/esmeta.analyzer.tychecker/SymTyDecl

SymTyDecl

esmeta.analyzer.tychecker.SymTyDecl
trait SymTyDecl

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class TyChecker
Self type

Members list

Type members

Classlikes

enum SymTy

Attributes

Companion
object
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object SymTy extends DomainLike[SymTy]

Attributes

Companion
enum
Supertypes
trait Sum
trait Mirror
trait DomainLike[SymTy]
class Object
trait Matchable
class Any
Show all
Self type
SymTy.type

Types

type Base = Sym | Local
type Sym = Int
type SymBase = SSym | SVar
type SymRef = SSym | SVar | SField

Extensions

Extensions

extension (sb: SymBase)
def toBase: Base
Generated with