Table cil_type_argument

predicate cil_type_argument(@cil_member bound, int index, @cil_type t)