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
* web site.
*Other names and brands may be claimed as the property
of others.