(module Interval_map)