]> matita.cs.unibo.it Git - helm.git/blob - matita/contribs/assembly/freescale/freescale_ocaml/matita_nat_exp.ml
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
tagged 0.5.0-rc1
[helm.git] / matita / contribs / assembly / freescale / freescale_ocaml / matita_nat_exp.ml
1 let exp =
2 let rec exp = 
3 (function n -> (function m -> 
4 (match m with 
5    Matita_nat_nat.O -> (Matita_nat_nat.S(Matita_nat_nat.O))
6  | Matita_nat_nat.S(p) -> (Matita_nat_times.times n (exp n p)))
7 )) in exp
8 ;;
9
Unnamed repository; edit this file 'description' to name the repository.