sig
  module type DIFF_ELEMENT =
    sig
      type t
      val pp_printer : Format.formatter -> OUnitDiff.DIFF_ELEMENT.t -> unit
      val compare :
        OUnitDiff.DIFF_ELEMENT.t -> OUnitDiff.DIFF_ELEMENT.t -> int
      val pp_print_sep : Format.formatter -> unit -> unit
    end
  module type S =
    sig
      type e
      type t
      val compare : OUnitDiff.S.t -> OUnitDiff.S.t -> int
      val pp_printer : Format.formatter -> OUnitDiff.S.t -> unit
      val pp_diff : Format.formatter -> OUnitDiff.S.t * OUnitDiff.S.t -> unit
      val assert_equal :
        ?msg:string -> OUnitDiff.S.t -> OUnitDiff.S.t -> unit
      val of_list : OUnitDiff.S.e list -> OUnitDiff.S.t
    end
  module SetMake :
    functor (D : DIFF_ELEMENT) ->
      sig
        type e = D.t
        type t
        val compare : t -> t -> int
        val pp_printer : Format.formatter -> t -> unit
        val pp_diff : Format.formatter -> t * t -> unit
        val assert_equal : ?msg:string -> t -> t -> unit
        val of_list : e list -> t
      end
  module ListSimpleMake :
    functor (D : DIFF_ELEMENT) ->
      sig
        type e = D.t
        type t = D.t list
        val compare : t -> t -> int
        val pp_printer : Format.formatter -> t -> unit
        val pp_diff : Format.formatter -> t * t -> unit
        val assert_equal : ?msg:string -> t -> t -> unit
        val of_list : e list -> t
      end
  val pp_comma_separator : Format.formatter -> unit -> unit
end