added mk_fix i j r that given an r of a fix generated another fix on i and j

[helm.git] / helm / software / components / ng_kernel / nCicEnvironment.mli

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.mli b/helm/software/components/ng_kernel/nCicEnvironment.mli
index 9c0a70fc0472055aeef969ed2611c9218dfa5c3f..6f224d5273920710bfc14d47be5994878fa79065 100644 (file)
--- a/helm/software/components/ng_kernel/nCicEnvironment.mli
+++ b/helm/software/components/ng_kernel/nCicEnvironment.mli
@@ -50,5 +50,7 @@ val get_checked_cofix:
 val get_indty_leftno: NReference.reference -> int
 
 val invalidate: unit -> unit
+val load_graph: UriManager.uri -> unit
+val get_graph: unit -> CicUniv.universe_graph
 
 (* EOF *)