hets -- a heterogenous Specification (CASL) tool setContentsIndex
Static.DGToSpec
Portability non-portable(Logic)
Stability provisional
Maintainer hets@tzi.de
Description
Convert development graph back to structured specification
Synopsis
emptyAnno :: SPEC -> Annoted SPEC
dgToSpec :: DGraph -> Node -> Result SPEC
Produced by Haddock version 0.6