X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fpure.ml;h=29288aa4b4ac847b06e463c13c99e642294304a8;hb=refs%2Fheads%2Fmaster;hp=95dae1513d166833d6ba2fd69868b86e7c1a2ee7;hpb=978648853f982a5e5755f084fb22342fdbb3534e;p=fireball-separation.git

diff --git a/ocaml/pure.ml b/ocaml/pure.ml
index 95dae15..29288aa 100644
--- a/ocaml/pure.ml
+++ b/ocaml/pure.ml
@@ -101,6 +101,13 @@ let mwhd m =
    | (_,L _,[]) as m -> m
  in
   unwind (aux m)
+let omega should_explode =
+ if should_explode
+  then let f t = A(t,t) in f (L (f (V 0)))
+  else B
+;;
+
+let diverged = (=) B;;
 
 end