Table cil_typeparam_contravariant

predicate cil_typeparam_contravariant(@cil_typeparameter tp)