GF
type OneOutput
type CompiledModule
data Grammar
data ModuleName
type Module
data ModuleInfo
type SourceGrammar
type SourceModInfo
type SourceModule
data ModuleType
data MInclude
data OpenSpec
data ModuleStatus
data Info
data Term
type Type
type Cat
type Fun
type QIdent
data BindType
data Patt
data TInfo
data Label
type MetaId
type Hypo
type Context
type Equation
type Labelling
type Assign
type Case
type LocalDef
type Param
type Altern
type Substitution
data Location
data L a
data PMCFG
data Production
type FId
type FunId
type SeqId
type LIndex
type Sequence
data TermPrintQual
data ModuleName
data Ident
data RawIdent
data VersionTagged a