nom2EA function compiles

src/lib/EAFormula.ml

@@ -79,6 +79,10 @@ let exportFormula f =
   exportFormula_buffer sb f;
   Buffer.contents sb
 
-let nom2EA f = FALSE
+let rec nom2EA f = match f with
+  | CoAlgFormula.FALSE -> FALSE
+  | CoAlgFormula.AP a -> AP a
+  | CoAlgFormula.AND (a, b) -> E (AND (nom2EA a, nom2EA b))
+  | _ -> TRUE
         
 (* vim: set et sw=2 sts=2 ts=8 : *)