let name_eq = Name.eq