Functor Interval_intf.GenSet


module GenSet: 
functor (T : T_set) -> sig .. end
Parameters:
T : T_set

module type S = sig .. end