Function fungi_lang::decide::apart::decide_idxtm_apart

pub fn decide_idxtm_apart(
    ctx: &RelCtx, 
    i: &IdxTm, 
    j: &IdxTm, 
    g: &Sort
) -> IdxTmDec

Decide if two index terms are apart under the given context