Module Smtlib_lexer

module Smtlib_lexer: sig .. end
Lexical analysis for SMT-LIB theory, logic, and benchmark files.

Lexical analysis for SMT-LIB syntax as described in The SMT-LIB Standard Version 1.2 (30 August 2006).
val token : Lexing.lexbuf -> Smtlib_grammar.token
Match the next token in the lexing buffer.

Hosted by the Logo* web site.
*Other names and brands may be claimed as the property of others.