Module New_offsetmap


module New_offsetmap: sig .. end
Maps from intervals to values (aka rangemaps).

module Int: sig .. end
module Make: 
functor (V : Lattice_With_Isotropy.S) -> sig .. end