unifiers

(unifier 的复数) n. 统一者
[计] 一致置换符; 通代符

热门查询