package herdtools7

  1. Overview
  2. Docs
exception LexerError
val bitvector_lit : string -> Parser.token
val mask_lit : string -> Parser.token
val tr_name : string -> Parser.token
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val escaped_string_chars : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> Parser.token
val __ocaml_lex_escaped_string_chars_rec : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> int -> Parser.token
val string_lit : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> Parser.token
val __ocaml_lex_string_lit_rec : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> int -> Parser.token
val c_comments : Stdlib.Lexing.lexbuf -> Parser.token
val __ocaml_lex_c_comments_rec : Stdlib.Lexing.lexbuf -> int -> Parser.token
val token : Stdlib.Lexing.lexbuf -> Parser.token
val __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf -> int -> Parser.token
OCaml

Innovation. Community. Security.