pub fn nametm_eval_rec(nmtm: Rc<NameTm>) -> NameTmVal
Expand description

Evaluate a name term, dynamically (see also: normal module)