dolmen

A parser library for automated deduction
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen.intf
Module Dolmen_intf . Language . S . Lexer
exception Error

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

val descr : token -> Tok.descr

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.