X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fcontribs%2Fassembly%2Ffreescale%2Ffreescale_ocaml%2Fmatita_datatypes_compare.ml;fp=matita%2Fcontribs%2Fassembly%2Ffreescale%2Ffreescale_ocaml%2Fmatita_datatypes_compare.ml;h=66e19cd66ec9af7c7393f948bfd0a306ea7b0562;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/matita/contribs/assembly/freescale/freescale_ocaml/matita_datatypes_compare.ml b/matita/contribs/assembly/freescale/freescale_ocaml/matita_datatypes_compare.ml
new file mode 100644
index 000000000..66e19cd66
--- /dev/null
+++ b/matita/contribs/assembly/freescale/freescale_ocaml/matita_datatypes_compare.ml
@@ -0,0 +1,33 @@
+type compare =
+LT
+ | EQ
+ | GT
+;;
+
+let compare_rec =
+(function p -> (function p1 -> (function p2 -> (function c -> 
+(match c with 
+   LT -> p
+ | EQ -> p1
+ | GT -> p2)
+))))
+;;
+
+let compare_rect =
+(function p -> (function p1 -> (function p2 -> (function c -> 
+(match c with 
+   LT -> p
+ | EQ -> p1
+ | GT -> p2)
+))))
+;;
+
+let compare_invert =
+(function c -> 
+(match c with 
+   LT -> GT
+ | EQ -> EQ
+ | GT -> LT)
+)
+;;
+