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/Files/index.html

Module `Api.Files`Source

Sourcetype files_error =

| ModuleNotFound of Kernel.Basic.mident
| MultipleModules of string * string list
| ObjectFileNotFound of Kernel.Basic.mident

Sourceexception Files_error of files_error

Sourceval add_path : string -> unit

add_path p add the p to the load path

Sourceval get_path : unit -> string list

get_path () returns all the paths in the load path

Sourceval find_object_file : Kernel.Basic.loc -> Kernel.Basic.mident -> string

get_find_object_file lc md returns the path assoiated to the module md or raise an exception

Sourceval object_file_of_input : Parsers.Parser.input -> string

object_file_of_input returns the filename associated to the input

Sourceval get_file : Kernel.Basic.mident -> string

get_file md returns the path associated to module md

Source

val find_dk : 
  ignore:bool ->
  Kernel.Basic.mident ->
  string list ->
  string option

find_dk md path looks for the ".dk" file corresponding to the module named name in the directories of path. If no corresponding file is found, or if there are several possibilities, the program fails with a graceful error message.