Function fungi_lang::decide::equiv::decide_idxtm_equiv

source · 
pub fn decide_idxtm_equiv(
    ctx: &RelCtx,
    i: &IdxTmDer,
    j: &IdxTmDer,
    g: &Sort
) -> IdxTmDec
Expand description

Decide if two index terms are equivalent under the given context