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