Commits

Anonymous committed 9492053

.

  • Participants
  • Parent commits f87489f

Comments (0)

Files changed (1)

 ;
 
 
-module type T
+module type T_OPS_
  =
   sig
 
     value opt_eq : t -> t -> bool;
     value opt_hash : t -> int;
     value opt_show : t -> string;
+  end
+;
+
+module type T
+ =
+  sig
+
+    type t;
+
+    include T_OPS_ with type t := t;
 
     module Storage : STORAGE with type ts = t;