Commits

camlspotter  committed 06faf02

added mtypes.ml

  • Participants
  • Parent commits 9f894fb

Comments (0)

Files changed (1)

File lib/mtypes.ml

+open Spotlib.Spot
+
+module type Printable = sig
+  type t
+  val show : t -> string
+  val format : Format.t -> t -> unit
+end
+
+module type Comparable = sig
+  type t
+  val equal : t -> t -> bool
+  val compare : t -> t -> int
+end