]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/components/ng_library/nCicLibrary.mli
As required by M. Maietti,
[helm.git] / matita / components / ng_library / nCicLibrary.mli
index b3275b8283095399fcfcc97947b82b75d5e36a5f..165b70ce19156e6d55c0f62030be3b7e0f2ea9bf 100644 (file)
@@ -21,13 +21,14 @@ class virtual status :
   inherit NCic.status
   method timestamp: timestamp
   method set_timestamp: timestamp -> 'self
-  (*CSC: bug here, we are not copying the NCicExtraction part of the status *)
+  (*CSC: bug here, we are not copying the NCicExtraction and OCamlExtraction part of the status *)
  end
 
 (* it also checks it and add it to the environment *)
 val add_obj: #status as 'status -> NCic.obj -> 'status
 val add_constraint: 
-  #status as 'status -> NCic.universe -> NCic.universe -> 'status
+  #status as 'status -> acyclic:bool ->
+  NCic.universe -> NCic.universe -> 'status
 val aliases_of: NUri.uri -> NReference.reference list
 val resolve: string -> NReference.reference list
 (*