Module Data_for_aorai.Intervals

module Intervals: Cil_datatype.Term.Map.Make(Range)