package dedukti

  1. Overview
  2. Docs
An implementation of The Lambda-Pi Modulo Theory

Install

Dune Dependency

Authors

Maintainers

Sources

v2.7.tar.gz
sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c
sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c

doc/dedukti.api/Api/Processor/T/index.html

Module Processor.TSource

Sourceval handle_input : Parsers.Parser.input -> ?hook:hook -> (module S with type t = 'a) -> 'a

handle_input input hook processor applies the processor processor on the input. hook.hook_before is executed once before the processor and hook.hook_after is executed once after the processor. By default (without hooks), if an exception exn has been raised while processing the data it is raised at top-level.

Sourceval handle_files : string list -> ?hook:hook -> (module S with type t = 'a) -> 'a

handle_files files hook processor apply a processor on each file of files. hook is used once by file. The result is the one given once each file has been processed.

Sourceval fold_files : string list -> ?hook:hook -> f:('a -> 'b -> 'b) -> default:'b -> (module S with type t = 'a) -> 'b
OCaml

Innovation. Community. Security.