Commits

Dmitry Grebeniuk  committed 317d396

.

  • Participants
  • Parent commits 5188eea

Comments (0)

Files changed (1)

  =
   sig
 
-    type t;
-
-    value opt_cmp : t -> t -> cmp_res;
-    value opt_eq : t -> t -> bool;
-    value opt_hash : t -> int;
-    value opt_show : t -> string;
+    include T;
 
     value cmp : t -> t -> cmp_res;
 
  =
   sig
 
-    type t;
-
-    value opt_cmp : t -> t -> cmp_res;
-    value opt_eq : t -> t -> bool;
-    value opt_hash : t -> int;
-    value opt_show : t -> string;
+    include T;
 
     value cmp : t -> t -> cmp_res;
     value eq : t -> t -> bool;