Module Interval_intf


module Interval_intf: sig .. end
Module for simple closed intervals over arbitrary types that are ordered correctly using polymorphic compare.

module type T = sig .. end
module Gen: 
functor (T : T) -> sig .. end
module type T_set = sig .. end
module GenSet: 
functor (T : T_set) -> sig .. end
module type S = sig .. end
module type S1 = sig .. end