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

   1 let minus =
   2 let rec minus =
   3 (function n -> (function m ->
   4 (match n with
   5    Matita_nat_nat.O -> Matita_nat_nat.O
   6  | Matita_nat_nat.S(p) ->
   7 (match m with
   8    Matita_nat_nat.O -> (Matita_nat_nat.S(p))
   9  | Matita_nat_nat.S(q) -> (minus p q))
  10 )
  11 )) in minus
  12 ;;
  13