module Smtlib_lexer: Lexical analysis for SMT-LIB theory, logic, and benchmark files.
Lexical analysis for SMT-LIB syntax as described in
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