package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

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_ident : Stdlib.Lexing.lexbuf -> bool

val __ocaml_lex_is_ident_rec : Stdlib.Lexing.lexbuf -> int -> bool