dolmen

A parser library for automated deduction
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen.std
Parameter #4 Dolmen_std . Transformer . Make . Parse

Main interface

exception Error of int

Exception raised by the parser when it encounters an error.

val file : ( Stdlib.Lexing.lexbuf -> Ty.token ) -> Stdlib.Lexing.lexbuf -> Ty.statement list

A function that parses an entire file, i.e until the end-of-file token, and return the list of parsed statements.

val input : ( Stdlib.Lexing.lexbuf -> Ty.token ) -> Stdlib.Lexing.lexbuf -> Ty.statement option

A function to parse a single statement. Reutnrs None if it encounters the end-of-file token. Used for incremental parsing.