>

most general unifier

📖 中文释义

  1. [计] 最广通代