Skip to main content

build_interval_predicates

rapx::verify::contract::resolve

Function build_interval_predicates 

Source 
fn build_interval_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    value: &Expr,
    lower: &Expr,
    lower_inclusive: bool,
    upper: &Expr,
    upper_inclusive: bool,
) -> Vec<NumericPredicate<'tcx>>