(module Cil_datatype.Logic_type_info.Set)