IL.Type

Data types

data Module

data Decl

data ConstrDecl

data Type

data Literal

data ConstrTerm

data Expression

data Eval

data Alt

data Binding