Skip to main content

application_is_provably_lent

dada_ir_sym::check::predicates::is_provably_lent

Function application_is_provably_lent 

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