Commits

Paweł Wieczorek  committed f5a2e4f

added Lib.DataModuleTypes

  • Participants
  • Parent commits fcd3a63

Comments (0)

Files changed (1)

File src/Lib/DataModuleTypes.ml

+open Batteries
+
+module type EqType = sig
+
+    type t
+
+    val equal : t -> t -> bool
+
+end
+
+
+module EqTypeFromOrderedType (M : Interfaces.OrderedType) = struct
+
+    type t = M.t
+
+    let equal a b = M.compare a b == 0
+
+end