X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Fshare.ml;h=600ae9d858a2e4b406fbb50be6445e418e184494;hb=e62111335574a6ec78e5a4367a540e0529a00404;hp=c8097d568eac398c663e5ac5a11d7be212bd4cda;hpb=8659e85d49be1ad72622d4d3a73d384b744c3c08;p=helm.git

diff --git a/helm/software/lambda-delta/lib/share.ml b/helm/software/lambda-delta/lib/share.ml
index c8097d568..600ae9d85 100644
--- a/helm/software/lambda-delta/lib/share.ml
+++ b/helm/software/lambda-delta/lib/share.ml
@@ -17,3 +17,5 @@ let sh1 a1 a2 b1 b2 =
 
 let sh2 a1 a2 b1 b2 c1 c2 =
    if a1 == a2 && b1 == b2 then c1 else c2 (sh a1 a2) (sh b1 b2)
+
+let eq a b = (a == b) || (a = b)