]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/basic_rg/brgReduction.mli
- new attributes system
[helm.git] / helm / software / helena / src / basic_rg / brgReduction.mli
index e73d2df8a8508d793a80182e938c13398d6cabeb..56fbf772343cdffc2aa6efbbeb37db44b0f3a299 100644 (file)
@@ -17,7 +17,7 @@ val empty_kam: kam
 
 val get: kam -> int -> Brg.bind
 
-val push: kam -> Entity.attrs -> Brg.bind -> kam
+val push: kam -> Entity.node_attrs -> Brg.bind -> kam
 
 val xwhd: Status.status -> kam -> int option -> Brg.term -> kam * Brg.term