dolmen

A parser library for automated deduction
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen.zf
Module Dolmen_zf . Make . Lexer
exception Error

The exception raised by the lexer when it cannot produce a token.

Asspcoate a description to each token, to help with error messages.

val token : ( Stdlib.Lexing.lexbuf -> unit ) -> Stdlib.Lexing.lexbuf -> token

The function producing token from a lexbuf.