ir

package

v0.0.0-...-85d0641 Latest Latest Go to latest Published: Jan 10, 2023 License: MIT Imports: 0 Imported by: 0

Details

This section is empty.

This section is empty.

This section is empty.

type BasicType struct {
	Name string
}

type ConcreteType struct {
	AbstractTy Type
	Args       []Type
}

type DataDecl struct {
	Name         string
	TypeVarCount int
	Conss        []*ValCons
}

type Decl interface {
}

type File struct {
	Decls []Decl
}

type NamedType struct {
	Name string
}

type Type interface {
}

type TypeVar struct {
	Num int
}

type ValCons struct {
	Name   string
	Params []Type
}