Stdune.Comparator
module type S = sig ... end
module type OPS = sig ... end
module Operators : functor (X : S) -> OPS with type t = X.t