module type X = sig

type t

val some_function : t -> t -> t

end

module Make:
  functor (ST : Set.S) ->
  sig
    include X with type t = ST.t X.t
    val another_function : ST.t -> ST.t -> t
  end