Table cil_type_location

predicate cil_type_location(@cil_type id, @location loc)