]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/common/entity.ml
we start version 0.8.1 by replacing the abstract layer AST with a fragment of dual...
[helm.git] / helm / software / lambda-delta / common / entity.ml
index 78d7c3ace3435f4d81330de355639378564c3591..cd780601a13c4e9f244d455af903ed4c55a74b87 100644 (file)
@@ -15,3 +15,5 @@ type id = Aut.id
 type 'bind entry = int * uri * 'bind (* age, uri, binder *)
 
 type 'bind entity = 'bind entry option
+
+type 'a uri_generator = (string -> 'a) -> string -> 'a