package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

exception SyntaxError

val char_for_backslash : char -> char

val __ocaml_lex_tables : Stdlib.Lexing.lex_tables

val token : Lexing.lexbuf -> Parse_smtv2_model_parser.token

val __ocaml_lex_token_rec : 
  Lexing.lexbuf ->
  int ->
  Parse_smtv2_model_parser.token

val read_comment : Buffer.t -> Lexing.lexbuf -> Parse_smtv2_model_parser.token

val __ocaml_lex_read_comment_rec : 
  Buffer.t ->
  Lexing.lexbuf ->
  int ->
  Parse_smtv2_model_parser.token

val read_string : Buffer.t -> Lexing.lexbuf -> string

val __ocaml_lex_read_string_rec : Buffer.t -> Lexing.lexbuf -> int -> string