package dedukti

You can search for identifiers within the package.

in-package search v0.2.0

An implementation of The Lambda-Pi Modulo Theory

Install

sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c

sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c

Sourceexception Lexer_error of Kernel.Basic.loc * string

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

Sourceval get_loc : Lexing.lexbuf -> Kernel.Basic.loc

Sourceval prerr_loc : Kernel.Basic.loc -> unit

Sourceval fail : Kernel.Basic.loc -> string -> 'a

Sourceval __ocaml_lex_tables : Lexing.lex_tables

Sourceval token : Lexing.lexbuf -> Tokens.token

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

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

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

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

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