aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/int.mli
Commit message (Expand)AuthorAge
* Moved Intset and Intmap to Int namespace.Gravatar ppedrot2012-12-14
* Added an Int module with dummy utility functions.Gravatar ppedrot2012-11-08