matita/contribs/assembly/freescale/freescale_ocaml/matita_datatypes_compare.ml

   1 type compare =
   2 LT
   3  | EQ
   4  | GT
   5 ;;
   6
   7 let compare_rec =
   8 (function p -> (function p1 -> (function p2 -> (function c ->
   9 (match c with
  10    LT -> p
  11  | EQ -> p1
  12  | GT -> p2)
  13 ))))
  14 ;;
  15
  16 let compare_rect =
  17 (function p -> (function p1 -> (function p2 -> (function c ->
  18 (match c with
  19    LT -> p
  20  | EQ -> p1
  21  | GT -> p2)
  22 ))))
  23 ;;
  24
  25 let compare_invert =
  26 (function c ->
  27 (match c with
  28    LT -> GT
  29  | EQ -> EQ
  30  | GT -> LT)
  31 )
  32 ;;
  33