language-boogie-0.1.1: Interpreter and language infrastructure for Boogie.

Safe Haskell	Safe-Inferred

Language.Boogie.Parser

Description

Parsec-based parser for Boogie 2

Synopsis

Documentation

program :: Parser Program Source

Program parser

type_ :: Parser Type Source

Type parser

expression :: Parser Expression Source

Expression parser

statement :: Parser Statement Source

Statement parser

decl :: Parser Decl Source

Top-level declaration parser