diff options
author | Matej Kosik <m4tej.kosik@gmail.com> | 2016-02-17 10:32:40 +0100 |
---|---|---|
committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-02-17 11:13:04 +0100 |
commit | 06fa0334047a9400d0b5a144601fca35746a53b8 (patch) | |
tree | c3afdf28353d5ea096b1c6e3aece87ed17015b1c /stm/asyncTaskQueue.ml | |
parent | 9a7afc12e0573c74d0bb0943372dddc3c61a03f1 (diff) |
CLEANUP: Renaming "Util.compose" function to "%"
I propose to change the name of the "Util.compose" function to "%".
Reasons:
1. If one wants to express function composition,
then the new name enables us to achieve this goal easier.
2. In "Batteries Included" they had made the same choice.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions