Api.DepSourceModule which handle dependencies between Dedukti files
type dep_error = | CircularDependencies of string * string list| NameNotFound of Kernel.Basic.nameup 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
(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