Skip to main content

application_is_provably_shared

dada_ir_sym::check::predicates::is_provably_shared

Function application_is_provably_shared 

Source 
async fn application_is_provably_shared<'db>(
    env: &mut Env<'db>,
    lhs: SymGenericTerm<'db>,
    rhs: SymGenericTerm<'db>,
) -> Errors<bool>