additional commit for version 0.8.2

[helm.git] / helm / software / helena / src / basic_rg / brg.ml

diff --git a/helm/software/helena/src/basic_rg/brg.ml b/helm/software/helena/src/basic_rg/brg.ml
index 9cf2f47d2069e14dcf66f77d15a458dd388bdfee..02bbc1430ea2d7c6dfc5b9ee1e1700a4346ca29e 100644 (file)
--- a/helm/software/helena/src/basic_rg/brg.ml
+++ b/helm/software/helena/src/basic_rg/brg.ml
@@ -35,6 +35,8 @@ type lenv = Null
 (* Cons: tail, relative local environment, attrs, binder *) 
           | Cons of lenv * lenv * attrs * bind 
 
+type manager = (N.status -> entity -> bool) * (unit -> unit)
+
 (* Currified constructors ***************************************************)
 
 let abst n w = Abst (n, w)