Module Base.Comparisons

module type Infix = sig ... end
module type S = sig ... end