]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/basic_ag/bagEnvironment.mli
- common/entity: new format for kernel entities
[helm.git] / helm / software / lambda-delta / basic_ag / bagEnvironment.mli
index ed94f4e8be63ce06caa9ad7aed67ec11ab5faa0c..4a44c05fee33258ac883381c8eb12a5d76cd956a 100644 (file)
@@ -11,6 +11,6 @@
 
 exception ObjectNotFound of Bag.message
 
-val set_entry: (Bag.entry -> 'a) -> Bag.entry -> 'a
+val set_entity: (Bag.entity -> 'a) -> Bag.entity -> 'a
 
-val get_entry: (Bag.entry -> 'a) -> Bag.uri -> 'a
+val get_entity: (Bag.entity -> 'a) -> Bag.uri -> 'a