X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FrecommTypes.ml;h=7225e916e2368aff21821118aea7e5f05bd82187;hp=f2f8e87a9bfcb4fe6012932313d6a5c438de2ec1;hb=4d232392091ee233afc26ecf3120dd5f5c6a33c8;hpb=da0775e27b362e91ea1453a800bc403781cc2ca3

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommTypes.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recommTypes.ml
index f2f8e87a9..7225e916e 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommTypes.ml
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommTypes.ml
@@ -26,4 +26,8 @@ type ('s, 't) aproc = 's -> words -> words -> 't
 
 type ('s, 't) astep = ('s, 't) aproc -> ('s, 't) aproc
 
-type step = (bool, bool * words * words) astep
+type return = KO
+            | OK
+            | OO
+
+type step = (return, return * words * words) astep