ir

type AbsDD struct {
	IDNode
	Vars []DataVar
	Term Data
}

type AbsTD struct {
	IDNode
	Vars []TypeVar
	Term Data
}

type AbsTT struct {
	IDNode
	Vars []TypeVar
	Term Type
}

type Accept struct {
	IDNode
}

type AllDD struct {
	IDNode
	Vars []DataVar
	Term Type
}

type AllTD struct {
	IDNode
	Vars []TypeVar
	Term Type
}

type AllTT struct {
	IDNode
	Vars []TypeVar
	Term Kind
}

type AppDD struct {
	IDNode
	Args []Data
	To   Data
}

type AppTD struct {
	IDNode
	Args []Type
	To   Data
}

type AppTT struct {
	IDNode
	Args []Type
	To   Type
}

type Bind struct {
	IDNode
	BindType Type
	Cond     *Cond
}

type Bnr struct {
	IDNode
	BnrType *BnrType
	Data    string
}

type BnrType struct {
	IDNode
}

type Builtin struct {
	IDNode
	BuiltinType Type
	Label       string
}

type BuiltinADTs struct {
	Boolean Type
	TT      Data
	FF      Data

	List *AbsTT
	Nil  *AbsTD
	Cons *AbsTD

	Option *AbsTT
	None   *AbsTD
	Some   *AbsTD

	Product Type
	Pair    Data
	// contains filtered or unexported fields
}

type BuiltinVar struct {
	IDNode
	BuiltinVarType Type
	Label          string
}

type CFGBuilder struct {
	Constructor *Proc
	Transitions map[string]*Proc
	Procedures  map[string]*Proc
	// contains filtered or unexported fields
}

type CallProc struct {
	IDNode
	Args []Data
	To   Data
}

type Cond struct {
	IDNode
	Case string
	Data []Bind
}

type Data interface {
	Node
	// contains filtered or unexported methods
}

type DataCase struct {
	IDNode
	Bind Bind
	Body Data
}

type DataVar struct {
	IDNode
	DataType Type
}

type Enum struct {
	IDNode
	EnumType Type
	Case     string
	Data     []Data
}

type EnumType struct {
	IDNode
	Constructors map[string][]Type
}

type Event struct {
	IDNode
	Data Data
}

type Exc struct {
	IDNode
	ExcType *ExcType
	Data    string
}

type ExcType struct {
	IDNode
}

type FactsDumper struct {
	// contains filtered or unexported fields
}

type IDNode struct {
	Id int64
}

type Int struct {
	IDNode
	IntType *IntType
	Data    string
}

type IntType struct {
	IDNode
	Size int
}

type Jump interface {
	Node
	// contains filtered or unexported methods
}

type Kind interface {
	Node
	// contains filtered or unexported methods
}

type Load struct {
	IDNode
	Slot string
	Path []Data
}

type Map struct {
	IDNode
	MapType *MapType
	Data    map[string]string
}

type MapType struct {
	IDNode
	KeyType Type
	ValType Type
}

type Msg struct {
	IDNode
	MsgType *MsgType
	Data    map[string]Data
}

type MsgType struct {
	IDNode
}

type Nat struct {
	IDNode
	NatType *NatType
	Data    string
}

type NatType struct {
	IDNode
	Size int
}

type Node interface {
	ID() int64
}

type PickData struct {
	IDNode
	From Data
	With []DataCase
}

type PickProc struct {
	IDNode
	From Data
	With []ProcCase
}

type Proc struct {
	IDNode
	ProcName string
	Vars     []DataVar
	Plan     []Unit
	Jump     Jump
}

type ProcCase struct {
	IDNode
	Bind Bind
	Body Proc
}

type ProcType struct {
	IDNode
	Vars []DataVar
}

type Raw struct {
	IDNode
	RawType *RawType
	Data    string
}

type RawType struct {
	IDNode
	Size int
}

type Save struct {
	IDNode
	Slot string
	Path []Data
	Data Data
}

type Send struct {
	IDNode
	Data Data
}

type SetKind struct {
	IDNode
}

type Str struct {
	IDNode
	StrType *StrType
	Data    string
}

type StrType struct {
	IDNode
}

type Type interface {
	Node
	// contains filtered or unexported methods
}

type TypeVar struct {
	IDNode
	Kind Kind
}

type Unit interface {
	Node
	// contains filtered or unexported methods
}

type Visitor interface {
	Visit(x Node, prevX Node) (w Visitor)
}