{- | The folder Syntax contains abstract syntax, parsing and printing

for heterogeneous structured and architectural specifications and

specification libraries. Parsing is based on "Common.Lib.Parsec",

pretty printing on "Common.Lib.Pretty".

/Abstract syntax/

"Syntax.AS_Structured"

"Syntax.AS_Architecture"

"Syntax.AS_Library"

"Syntax.GlobalLibraryAnnotations"

/Parsing/

"Syntax.Parse_AS_Structured"

"Syntax.Parse_AS_Architecture"

"Syntax.Parse_AS_Library"

/Pretty printing/

"Syntax.Print_AS_Structured"

"Syntax.Print_AS_Architecture"

"Syntax.Print_AS_Library"

"Syntax.Print_HetCASL"

/LaTeX pretty printing/

"Syntax.LaTeX_AS_Structured"

"Syntax.LaTeX_AS_Architecture"

"Syntax.LaTeX_AS_Library"

-}

module Syntax.ADoc where