(module Cil_datatype.Logic_info.Set)