hets -- a heterogenous Specification (CASL) tool setContentsIndex
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