Abstract Polynome with functors

Makefile

 all:
 	ocamlc -c polynome.ml 
+	ocamlc -c simplepolynome.ml 
 	ocamlc -c main.ml 
-	ocamlc -o bin/main nums.cma polynome.cmo main.cmo
+	ocamlc -o bin/main nums.cma polynome.cmo simplepolynome.cmo main.cmo
 clean:
 	rm -f *.cm[iox] *~ .*~ #*#
 	rm -f bin/main

polynome.ml

@@ -2,6 +2,20 @@
 
 open Big_int;;
 
+module type Coefficient =
+  sig
+    type coeff
+    val print_coeff: coeff -> string
+  end
+;;
+  
+module type Degree =
+  sig
+    type degree
+    val print_degree: degree -> string
+  end
+;;
+  
 module type Polynomes =
   sig
     type polynome
@@ -9,14 +23,14 @@ module type Polynomes =
   end
 ;;
 
-module Polynome : Polynomes =
+module Polynome (C : Coefficient) (D : Degree) =
   struct
     type polynome =
       |Null
-      |NotNull of big_int*int*polynome
+      |NotNull of C.coeff*D.degree*polynome
     let rec print_pol p = match p with
       |Null -> "0"
-      |NotNull (coeff, degree, polynome)->
-	(string_of_big_int coeff)^"X^"^(string_of_int degree)^"+"^(print_pol polynome)
+      |NotNull (cc, dd, pp)->
+	(C.print_coeff cc)^"X^"^(D.print_degree dd)^"+"^(print_pol pp)
   end
 ;;