Commits

camlspotter  committed a7c22c1

added mtypes.ml

  • Participants
  • Parent commits 31deb52

Comments (0)

Files changed (4)

 setup.log
 ^\#
 ^\.\#
-
+.*\.auto\.mli

File lib/OMakefile

    base
    monad_intf
    monad
+   mtypes
    option
    stream
    xlist

File lib/mtypes.ml

+(** Some useful module capabilities *)
+
+module type Printable = sig
+  type t
+  val show : t -> string
+  val format : Format.formatter -> t -> unit
+end
+
+module type Comparable = sig
+  type t
+  val equal : t -> t -> bool
+  val compare : t -> t -> int
+end
 include Base
 
 module Monad_intf = Monad_intf
-module Monad = Monad
-module Option = Option
-module Weaktbl = Weaktbl
-module Phantom = Phantom
-module Hashset = Hashset
-module File = File
-module Comopt = Comopt
-module Overload = Overload
+module Monad      = Monad
+module Option     = Option
+module Weaktbl    = Weaktbl
+module Phantom    = Phantom
+module Hashset    = Hashset
+module File       = File
+module Comopt     = Comopt
+module Overload   = Overload
+module Mtypes     = Mtypes
 
 module List = struct
   include List