Functor Interval_intf.Gen


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

module type S = sig .. end