package dedukti

  1. Overview
  2. Docs
exception Lexer_error of Kernel.Basic.loc * string
val loc_of_pos : Stdlib.Lexing.position -> Kernel.Basic.loc
val get_loc : Stdlib.Lexing.lexbuf -> Kernel.Basic.loc
val prerr_loc : Kernel.Basic.loc -> unit
val fail : Kernel.Basic.loc -> string -> 'a
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val token : Stdlib.Lexing.lexbuf -> Tokens.token
val __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf -> int -> Tokens.token
val comment : int -> Stdlib.Lexing.lexbuf -> Tokens.token
val __ocaml_lex_comment_rec : int -> Stdlib.Lexing.lexbuf -> int -> Tokens.token
val string : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> Tokens.token
val __ocaml_lex_string_rec : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> int -> Tokens.token
val sident : Kernel.Basic.mident option -> Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> Tokens.token
val __ocaml_lex_sident_rec : Kernel.Basic.mident option -> Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> int -> Tokens.token
OCaml

Innovation. Community. Security.