pub unsafe fn PartConstraintImpliedByRelConstraint( arg_scanrel: Relation, arg_partConstraint: *mut List ) -> bool