Hets - the Heterogeneous Tool Set

Copyright(c) Maciek Makowski, Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Grothendieck)
Safe HaskellNone

Syntax.Parse_AS_Library

Description

Parser for CASL specification librariess Follows Sect. II:3.1.5 of the CASL Reference Manual.

Synopsis

Documentation

library :: LogicGraph -> AParser st LIB_DEFN

Parse a library of specifications