package lambdapi

  1. Overview
  2. Docs
package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type

Dedukti source file parsing/lexer.mll.

val get_loc : Stdlib.Lexing.lexbuf -> Stdlib.Lexing.position * Stdlib.Lexing.position
val fail : (Stdlib.Lexing.position * Stdlib.Lexing.position) -> string -> 'a
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val token : Stdlib.Lexing.lexbuf -> DkTokens.token
val __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf -> int -> DkTokens.token
val comment : int -> Stdlib.Lexing.lexbuf -> DkTokens.token
val __ocaml_lex_comment_rec : int -> Stdlib.Lexing.lexbuf -> int -> DkTokens.token
val string : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> DkTokens.token
val __ocaml_lex_string_rec : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> int -> DkTokens.token
val sident : DkBasic.WS.data option -> Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> DkTokens.token
val __ocaml_lex_sident_rec : DkBasic.WS.data option -> Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> int -> DkTokens.token
val is_mident : Stdlib.Lexing.lexbuf -> bool
val __ocaml_lex_is_mident_rec : Stdlib.Lexing.lexbuf -> int -> bool
val is_ident : Stdlib.Lexing.lexbuf -> bool
val __ocaml_lex_is_ident_rec : Stdlib.Lexing.lexbuf -> int -> bool