pub fn decide_nmtm_equiv( ctx: &RelCtx, n: &NmTmDer, m: &NmTmDer, g: &Sort) -> NmTmDec
Decide if two name terms are equivalent under the given context