package dedukti

You can search for identifiers within the package.

in-package search v0.2.0

package dedukti

dedukti
- Library dedukti.api
  - Api
    
    Dep
    
    Env
    
    HName
    
    Errors
    
    Files
    
    Meta
    
    ENCODING
    
    PROD
    
    LF
    
    APP
    
    MetaConfiguration
    
    Pp
    
    Sig
    
    Printer
    
    Make
    
    Default
    
    Processor
    
    Interface
    
    S
    
    Registration
    
    T
    
    CustomEnv
    
    HName
    
    MakeTypeChecker
    
    MakeSignatureBuilder
    
    MakeEntryPrinter
    
    MakeDependencies
- Library dedukti.kernel
  - Kernel
    
    Ac
    
    Basic
    
    MidentSet
    
    IdentSet
    
    NameSet
    
    LList
    
    Debug
    
    Confluence
    
    Dtree
    
    Exsubst
    
    ExSubst
    
    Matching
    
    Reducer
    
    Matcher
    
    Make
    
    Reduction
    
    ConvChecker
    
    S
    
    Make
    
    Default
    
    Rule
    
    Signature
    
    Srcheck
    
    SRChecker
    
    Subst
    
    Term
    
    Typing
    
    S
    
    Make
    
    Default
    
    Version
- Library dedukti.parsers
  - Parsers
    
    Entry
    
    Lexer
    
    Menhir_parser
    
    Parser
    
    Preterm
    
    Scoping
    
    Tokens
- Sources
  - dedukti.api
    
    api.ml
    
    dep.ml
    
    env.ml
    
    errors.ml
    
    files.ml
    
    meta.ml
    
    pp.ml
    
    processor.ml
  - dedukti.kernel
    
    ac.ml
    
    basic.ml
    
    confluence.ml
    
    dtree.ml
    
    exsubst.ml
    
    kernel.ml
    
    matching.ml
    
    reduction.ml
    
    rule.ml
    
    signature.ml
    
    srcheck.ml
    
    subst.ml
    
    term.ml
    
    typing.ml
    
    version.ml
  - dedukti.parsers
    
    entry.ml
    
    lexer.ml
    
    menhir_parser.ml
    
    parser.ml
    
    parsers.ml
    
    preterm.ml
    
    scoping.ml
    
    tokens.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Parsers.Lexer`Source

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

Source

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

Source

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

package dedukti

Module Parsers.LexerSource

Module `Parsers.Lexer`Source