Module Data_for_aorai.Vals

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