Table cil_typeparam_covariant

predicate cil_typeparam_covariant(@cil_typeparameter tp)