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 (T : T) : sig .. end

module type T_set = sig .. end

module GenSet (T : T_set) : sig .. end

module type S = sig .. end

module type S1 = sig .. end