Table cil_typeparam_constraint

predicate cil_typeparam_constraint(@cil_typeparameter tp, @cil_type supertype)