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