package dolmen

  1. Overview
  2. Docs

Main interface

type token

The type of token consumed by the parser.

type statement

The type of top-level declarations returned by the parser.

exception Error

Exception raised by the parser when it encounters an error.

val file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> 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 : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> statement option

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

Menhir incremental interface

module MenhirInterpreter : sig ... end
module Incremental : sig ... end