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

   1 type bool =
   2 True
   3  | False
   4 ;;
   5
   6 let bool_rec =
   7 (function p -> (function p1 -> (function b ->
   8 (match b with
   9    True -> p
  10  | False -> p1)
  11 )))
  12 ;;
  13
  14 let bool_rect =
  15 (function p -> (function p1 -> (function b ->
  16 (match b with
  17    True -> p
  18  | False -> p1)
  19 )))
  20 ;;
  21
  22 let notb =
  23 (function b ->
  24 (match b with
  25    True -> False
  26  | False -> True)
  27 )
  28 ;;
  29
  30 let andb =
  31 (function b1 -> (function b2 ->
  32 (match b1 with
  33    True -> b2
  34  | False -> False)
  35 ))
  36 ;;
  37
  38 let orb =
  39 (function b1 -> (function b2 ->
  40 (match b1 with
  41    True -> True
  42  | False -> b2)
  43 ))
  44 ;;
  45