summaryrefslogtreecommitdiff
path: root/src/option_key_fn.sml
Commit message (Collapse)AuthorAge
* Use uniform representation of comparisons for better simplification.Gravatar Ziv Scully2015-07-20
|
* Rename C functions and remove functors nested inside modules.Gravatar Ziv Scully2015-07-19