Module Int_Interv_Map


module Int_Interv_Map: sig .. end
Undocumented. Do not use this module if you don't know what you are doing.

module Make: 
functor (Value : Datatype.S) -> sig .. end