Abstract types for logic programming
Define types with optional constraints for use within axiom and other libraries.
顯示實驗性套件 顯示社群維護套件