Agda.Compiler.Epic.AuxAST
type Var
type Tag
type Comment
type Inline
data Fun
data Lit
data Expr
data Branch