package dedukti

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception Lexer_error of Kernel.Basic.loc * string

val loc_of_pos : Lexing.position -> Kernel.Basic.loc

val get_loc : 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 : Lexing.lexbuf -> Tokens.token

val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Tokens.token

val comment : int -> Lexing.lexbuf -> Tokens.token

val __ocaml_lex_comment_rec : int -> Lexing.lexbuf -> int -> Tokens.token

val string : Buffer.t -> Lexing.lexbuf -> Tokens.token

val __ocaml_lex_string_rec : Buffer.t -> Lexing.lexbuf -> int -> Tokens.token

val sident : 
  Kernel.Basic.mident option ->
  Buffer.t ->
  Lexing.lexbuf ->
  Tokens.token

val __ocaml_lex_sident_rec : 
  Kernel.Basic.mident option ->
  Buffer.t ->
  Lexing.lexbuf ->
  int ->
  Tokens.token