package sail

  1. Overview
  2. Docs
module Big_int = Nat_big_num
module M : sig ... end
exception LexError of string * Lexing.position
val r : 'a -> 'a
val unescaped : string -> string
val mk_operator : Parse_ast.prec -> int -> string -> Parser.token
val operators : Parser.token M.t ref
val kw_table : (unit -> Parser.token) M.t
type comment_type =
  1. | Comment_block
  2. | Comment_line
type comment =
  1. | Comment of comment_type * Lexing.position * Lexing.position * string
val comments : comment list ref
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Parser.token
val line_comment : Lexing.position -> Buffer.t -> Lexing.lexbuf -> unit
val __ocaml_lex_line_comment_rec : Lexing.position -> Buffer.t -> Lexing.lexbuf -> int -> unit
val doc_comment : Lexing.position -> Buffer.t -> int -> bool -> Lexing.lexbuf -> string
val __ocaml_lex_doc_comment_rec : Lexing.position -> Buffer.t -> int -> bool -> Lexing.lexbuf -> int -> string
val comment : Lexing.position -> Buffer.t -> int -> Lexing.lexbuf -> unit
val __ocaml_lex_comment_rec : Lexing.position -> Buffer.t -> int -> Lexing.lexbuf -> int -> unit
val string : Lexing.position -> Buffer.t -> Lexing.lexbuf -> string
val __ocaml_lex_string_rec : Lexing.position -> Buffer.t -> Lexing.lexbuf -> int -> string