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