Detection of divergents

[fireball-separation.git] / ocaml / pure.ml

diff --git a/ocaml/pure.ml b/ocaml/pure.ml
index 95dae1513d166833d6ba2fd69868b86e7c1a2ee7..29288aa4b4ac847b06e463c13c99e642294304a8 100644 (file)
--- 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