package dedukti

You can search for identifiers within the package.

in-package search v0.2.0

package dedukti

dedukti.api
- Api
  - Dep
  - Env
    
    HName
  - Errors
  - Files
  - Meta
    
    APP
    
    ENCODING
    
    LF
    
    MetaConfiguration
    
    PROD
  - Pp
    
    Default
    
    Make
    
    S
    
    Printer
    
    Sig
  - Processor
    
    CustomEnv
    
    HName
    
    Interface
    
    MakeDependencies
    
    E
    
    HName
    
    MakeEntryPrinter
    
    E
    
    HName
    
    MakeSignatureBuilder
    
    E
    
    HName
    
    MakeTypeChecker
    
    E
    
    HName
    
    Registration
    
    S
    
    T
dedukti.kernel
- Kernel
  - Ac
  - Basic
    
    Debug
    
    IdentSet
    
    LList
    
    MidentSet
    
    NameSet
  - Confluence
  - Dtree
  - Exsubst
    
    ExSubst
  - Matching
    
    Make
    
    R
    
    Matcher
    
    Reducer
  - Reduction
    
    ConvChecker
    
    Default
    
    Make
    
    C
    
    M
    
    S
  - Rule
  - Signature
  - Srcheck
    
    SRChecker
    
    R
  - Subst
  - Term
  - Typing
    
    Default
    
    Make
    
    R
    
    S
  - Version
dedukti.parsers
- Parsers
  - Entry
  - Lexer
  - Menhir_parser
  - Parser
  - Preterm
  - Scoping
  - Tokens

Legend:
Library
Module
Module type
Parameter
Class
Class type

Errors handling

val color : bool ref

Flag to disable colored output.

val success : string -> unit

Print a success message.

val fail_exit : 
  file:string ->
  code:string ->
  Kernel.Basic.loc option ->
  ('a, Format.formatter, unit, 'b) format4 ->
  'a

fail_exit file error_id lc "..." Prints the given error message prefixed with module and location details (when provided) as well as the error ID then exits with the given code.

val fail_sys_error : ?file:string -> msg:string -> unit -> 'a

Print a system error message then exits with code 1.

type error_code = int

type error_msg = error_code * Kernel.Basic.loc option * string

type error_handler =
  red:(Kernel.Term.term -> Kernel.Term.term) ->
  exn ->
  error_msg option

val register_exception : 
  (red:(Kernel.Term.term -> Kernel.Term.term) -> exn -> error_msg option) ->
  unit

val string_of_exception : 
  red:(Kernel.Term.term -> Kernel.Term.term) ->
  Kernel.Basic.loc ->
  exn ->
  error_code * Kernel.Basic.loc * string