(module Cil_datatype.Logic_info.Map)