AnnotatedSIR

scalus.sir.AnnotatedSIR
sealed trait AnnotatedSIR extends SIR

Attributes

Graph
Supertypes
trait SIR
class Object
trait Matchable
class Any
Known subtypes
class And
class Apply
class Builtin
class Cast
class Const
class Constr
class Error
class ExternalVar
class IfThenElse
class LamAbs
class Let
class Match
class Not
class Or
class Select
class Var
Show all

Members list

Value members

Abstract methods

Inherited methods

def ~=~(that: SIR): Boolean

Attributes

Inherited from:
SIR

Inherited and Abstract methods

def tp: SIRType

Attributes

Inherited from:
SIR