Function fungi_lang::normal::is_normal_nmtm [−][src]
pub fn is_normal_nmtm(_ctx: &Ctx, n: &NameTm) -> bool
True when the name term is normal
pub fn is_normal_nmtm(_ctx: &Ctx, n: &NameTm) -> bool
True when the name term is normal