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 extends SymTyLike

Attributes

Companion
object
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
trait SymTyLike
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
Generated with