package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

exception SyntaxError of string

val __ocaml_lex_tables : Stdlib.Lexing.lex_tables

val read : Lexing.lexbuf -> Json_parser.token

val __ocaml_lex_read_rec : Lexing.lexbuf -> int -> Json_parser.token

val read_string : Buffer.t -> Lexing.lexbuf -> Json_parser.token

val __ocaml_lex_read_string_rec : 
  Buffer.t ->
  Lexing.lexbuf ->
  int ->
  Json_parser.token