hets -- a heterogenous Specification (CASL) tool set Contents Index

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