(*Test.ml*)
module Test_Functor(T:Comparable)= struct

  module M = Map.Make(T)

  include M

  let empty = M.empty
end