Skip to main content

application_is_provably_owned

dada_ir_sym::check::predicates::is_provably_owned

Function application_is_provably_owned 

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