module Interval_intf:Module for simple closed intervals over arbitrary types that are ordered correctly using polymorphic compare.sig..end
module type T =sig..end
module Gen: module type T_set =sig..end
module GenSet: module type S =sig..end
module type S1 =sig..end