libsail 0.15 · OCaml Package

module Big_int = Nat_big_num

module M : sig ... end

val r : 'a -> 'a

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 =

type comment =

| 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 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

package libsail