Module Diameter.MakeGen.W

module W: sig .. end

include G.W

val max : t -> t -> t

val min : t -> t -> t