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

Dune Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

D

dedukti-dev@inria.fr

Maintainers

D

dedukti-dev@inria.fr

Sources

v2.7.tar.gz

sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c

sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c

doc/dedukti.api/Api/Errors/index.html

Module `Api.Errors`Source

Errors handling

Sourceval color : bool ref

Flag to disable colored output.

Sourceval success : string -> unit

Print a success message.

Source

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.

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

Print a system error message then exits with code 1.

Sourcetype error_code = int

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

Source

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

Source

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

Source

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

package dedukti

Install

Dune Dependency

Authors

Maintainers

Sources

doc/dedukti.api/Api/Errors/index.html

Module Api.ErrorsSource

Module `Api.Errors`Source