Module Std.Interval_map

module Interval_map: Interval_map

include Interval_map_intf.M