Abstract types for logic programming
Define types with optional constraints for use within axiom and other libraries.
显示实验性软件包 显示社区软件包