package dedukti
Install
Dune Dependency
Authors
Maintainers
Sources
sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c
sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c
doc/dedukti.api/Api/Dep/index.html
Module Api.Dep
Source
Debugging
Module which handle dependencies between Dedukti files
type dep_error =
| CircularDependencies of string * string list
| NameNotFound of Kernel.Basic.name
Type declaration
up dependencies are the name that requires the current item. down dependencies are the name that are required by the current item.
A map from an identifiers to its up and down dependencies
type file_deps = {
file : string;
(*path associated to the module
*)deps : Kernel.Basic.MidentSet.t;
(*pairs of module and its associated path
*)name_deps : name_deps;
(*up/down item dependencies. Not computed by default.
*)
}
Map to a module a file dependencies which contains all the dependencies
Dependencies function
(default: false
) If true
, no exception is raised if a module
is not in the path
Whether to compute the dependencies of constants. If set to false
, only module dependencies are computed.
get_data name
returns the data associated to name name
. Raise NameNotfound
if the dependencies for name have not been computed.
make md es
computes dependencies for the entries es
in module md
handle md f
computes dependencies on the fly for the entries in module md
topological_sort f
returns a list of files sorted by their dependencies
transitive_closure n
compute the transitive closure for n