functor.ml

module type S = sig
  type t
  val to_string : t -> string
end

module Make(T : S) : S with type t = int = struct
  type t = int
  let to_string i = Printf.sprintf "%d" i
end