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