package psmt2-frontend

  1. Overview
  2. Docs
val newline : Stdlib.Lexing.lexbuf -> unit
val current_pos : Stdlib.Lexing.lexbuf -> Stdlib.Lexing.position * Stdlib.Lexing.position
val keyword : (string, Smtlib_parser.token) Stdlib.Hashtbl.t
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val token : Stdlib.Lexing.lexbuf -> Smtlib_parser.token
val __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf -> int -> Smtlib_parser.token
val comment : string -> Stdlib.Lexing.lexbuf -> Smtlib_parser.token
val __ocaml_lex_comment_rec : string -> Stdlib.Lexing.lexbuf -> int -> Smtlib_parser.token
OCaml

Innovation. Community. Security.