Skip to main content

exists_bounding_term

dada_ir_sym::check::predicates::var_infer

Function exists_bounding_term 

Source 
async fn exists_bounding_term<'db>(
    env: &mut Env<'db>,
    perm: SymPerm<'db>,
    infer: InferVarIndex,
    direction: Option<Direction>,
    predicate: Predicate,
) -> Errors<bool>