aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/cString.mli
Commit message (Expand)AuthorAge
* More monomorphic List.mem + List.assoc + ...Gravatar letouzey2013-10-24
* Specializing hash functions for widely used types.Gravatar ppedrot2013-10-24
* Added a more efficient way to recover the domain of a map.Gravatar ppedrot2013-08-25
* Moving hcons_string to String namespace.Gravatar ppedrot2012-12-14
* Moved Stringset and Stringmap to String namespace.Gravatar ppedrot2012-12-14
* Documented CString.Gravatar ppedrot2012-12-13
* Small uniformization in StringGravatar ppedrot2012-11-13
* Added a CString module.Gravatar ppedrot2012-11-13