hets -- a heterogenous Specification (CASL) tool setContentsIndex
Syntax.Print_AS_Library
Portability non-portable(Grothendieck)
Stability provisional
Maintainer hets@tzi.de
Description
These data structures describe the abstract syntax tree for heterogenous libraries in HetCASL.
Synopsis
condBracesGroupSpec4View_defn :: (GlobalAnnos -> Annoted SPEC -> Doc) -> (Doc -> Doc) -> GlobalAnnos -> Annoted SPEC -> Doc
latexEnd :: Doc
Produced by Haddock version 0.6