hets -- a heterogenous Specification (CASL) tool set
Contents
Index
CASL.SymbolParser
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
may be needed for structured specs
Synopsis
symb
::
GenParser
Char
st
SYMB
opOrPredType
::
GenParser
Char
st
TYPE
symbMap
::
GenParser
Char
st
SYMB_OR_MAP
symbKind
::
GenParser
Char
st (
SYMB_KIND
,
Token
)
symbItemsList
::
GenParser
Char
st
SYMB_ITEMS_LIST
symbItems
::
GenParser
Char
st
SYMB_ITEMS
symbs
::
GenParser
Char
st ([
SYMB
], [
Token
])
symbMapItemsList
::
GenParser
Char
st
SYMB_MAP_ITEMS_LIST
symbMapItems
::
GenParser
Char
st
SYMB_MAP_ITEMS
symbMaps
::
GenParser
Char
st ([
SYMB_OR_MAP
], [
Token
])
Produced by
Haddock
version 0.6