hints polished and fixed to allow recursive inference of ext_carr

[helm.git] / helm / software / lambda-delta / src / basic_rg / brg.ml

diff --git a/helm/software/lambda-delta/src/basic_rg/brg.ml b/helm/software/lambda-delta/src/basic_rg/brg.ml
index efc5d7556914bc6b8976b0ade53be6a751c042ee..d2a0b99873cd93fd146801a7e17fb53bbb1355c7 100644 (file)
--- a/helm/software/lambda-delta/src/basic_rg/brg.ml
+++ b/helm/software/lambda-delta/src/basic_rg/brg.ml
@@ -12,9 +12,11 @@
 (* kernel version: basic, relative, global *)
 (* note          : ufficial basic lambda-delta *) 
 
-type uri = Entity.uri
-type id = Entity.id
-type attrs = Entity.attrs
+module E = Entity
+
+type uri = E.uri
+type id = E.id
+type attrs = E.attrs
 
 type bind = Void         (*      *)
           | Abst of term (* type *)
@@ -27,7 +29,7 @@ and term = Sort of attrs * int         (* attrs, hierarchy index *)
          | Appl of attrs * term * term (* attrs, argument, function *)
          | Bind of attrs * bind * term (* attrs, binder, scope *)
 
-type entity = term Entity.entity (* attrs, uri, binder *)
+type entity = term E.entity (* attrs, uri, binder *)
 
 type lenv = Null
 (* Cons: tail, relative local environment, attrs, binder *)