Source

mutated_ocaml / toplevel / genprintval.mli

Diff from to

File toplevel/genprintval.mli

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id: genprintval.mli 11156 2011-07-27 14:17:02Z doligez $ *)
+(* $Id: genprintval.mli 12689 2012-07-10 14:54:19Z doligez $ *)
 
 (* Printing of values *)
 
 
 module type EVALPATH =
   sig
-    type value
-    val eval_path: Path.t -> value
+    type valu
+    val eval_path: Path.t -> valu
     exception Error
-    val same_value: value -> value -> bool
+    val same_value: valu -> valu -> bool
   end
 
 module type S =
           Env.t -> t -> type_expr -> Outcometree.out_value
   end
 
-module Make(O : OBJ)(EVP : EVALPATH with type value = O.t) :
+module Make(O : OBJ)(EVP : EVALPATH with type valu = O.t) :
          (S with type t = O.t)