Function fungi_lang::decide::apart::decide_idxtm_apart

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

Decide if two index terms are apart under the given context