pub fn update_ordering_requirement(
reqs: LexRequirement,
projected_exprs: &[ProjectionExpr],
) -> Result<Option<LexRequirement>>Expand description
Updates the given lexicographic requirement according to given projected
expressions using the update_expr function.