Tries module for ILP. More...
Go to the source code of this file.
Tries module for ILP.
Definition in file itries.yap.