update_ordering_requirement

Function update_ordering_requirement 

Source
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.