Ivory.Language.Syntax.AST

type ModulePath

data Visible a

type ModuleName

data Module

data Import

data Proc

data Struct

structName

data Area

data AreaImport

type Block

data Stmt

data LoopIncr

data Name

data Comment

data Cond

data Require

data Ensure

data Extern

data Expr

data ExpOp

data Literal

zeroInit

data Init