language-boogie-0.1.1: Interpreter and language infrastructure for Boogie.
Language.Boogie.Parser
Description
Parsec-based parser for Boogie 2
Synopsis
program :: Parser ProgramSource
Program parser
type_ :: Parser TypeSource
Type parser
expression :: Parser ExpressionSource
Expression parser
statement :: Parser StatementSource
Statement parser
decl :: Parser DeclSource
Top-level declaration parser