package dolmen
A parser library
Install
Dune Dependency
Authors
Maintainers
Sources
dolmen-v0.5.tbz
sha256=b9a6f80bf13fdf1fd69ff2013f583582fa00e13c86ee6f800737fabcfd530458
sha512=84b8c18e56b3fb20674af0a3729b7e15e543f21b0062c565b575b994388eb55ee8123e5d3d31f5f1042b204544b3084089a024c742ab741ddd7e18b5641dd399
doc/dolmen.dimacs/Dolmen_dimacs/Make/Parser/index.html
Module Make.ParserSource
The Parser module for the language.
Main interface
Exception raised by the parser when it encounters an error.
A function that parses an entire file, i.e until the end-of-file token, and return the list of parsed statements.
A function to parse a single statement. Reutnrs None if it encounters the end-of-file token. Used for incremental parsing.
Menhir incremental interface
On This Page