drg: we added the "positive projection" in environments

[helm.git] / helm / software / lambda-delta / common / entity.ml

diff --git a/helm/software/lambda-delta/common/entity.ml b/helm/software/lambda-delta/common/entity.ml
index 292b1e921fc6bc349cc4d28aea170e5de03b228c..4a16c77e73c68dcf849637c35c8eb669442d9e21 100644 (file)
--- a/helm/software/lambda-delta/common/entity.ml
+++ b/helm/software/lambda-delta/common/entity.ml
@@ -24,7 +24,7 @@ type 'term bind = Abst of 'term (* declaration: domain *)
 
 type 'term entity = attrs * uri * 'term bind (* attrs, name, binder *)
 
-type 'a uri_generator = (string -> 'a) -> string -> 'a 
+type uri_generator = string -> string (* this could be in CPS *) 
 
 (* helpers ******************************************************************)