Function fungi_lang::decide::apart::decide_nmtm_apart

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

Decide if two name terms are apart under the given context