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