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

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