Function fungi_lang::decide::apart::decide_nmtm_apart

pub fn decide_nmtm_apart(
    ctx: &RelCtx, 
    n: &NameTm, 
    m: &NameTm, 
    g: &Sort
) -> NmTmDec

Decide if two name terms are apart under the given context