hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Syntax.GlobalLibraryAnnotations
Portability
non-portable (imports existential types)
Stability
experimental
Maintainer
hets@tzi.de
Description
A module to extract GlobalAnnos from libraries
Synopsis
initGlobalAnnos
::
LIB_DEFN
->
Result
GlobalAnnos
setGlobalAnnos
::
GlobalAnnos
->
LIB_DEFN
->
Result
GlobalAnnos
Produced by
Haddock
version 0.6