Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package dedukti
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type files_error = | ModuleNotFound of Kernel.Basic.mident| MultipleModules of string * string list| ObjectFileNotFound of Kernel.Basic.mident
exception Files_error of files_errorval find_object_file : Kernel.Basic.loc -> Kernel.Basic.mident -> stringget_find_object_file lc md returns the path assoiated to the module md or raise an exception
val object_file_of_input : Parsers.Parser.input -> stringobject_file_of_input returns the filename associated to the input
val get_file : Kernel.Basic.mident -> stringget_file md returns the path associated to module md
val find_dk :
ignore:bool ->
Kernel.Basic.mident ->
string list ->
string optionfind_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.