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 Gen = sig .. end
module type Gen_set = sig .. end
module type S = sig .. end
module type S1 = sig .. end