(module Cil_datatype.Compinfo.Set)