package libsail

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