More closure cosmetics/consistency/correctness
commita9b90a2168283c36288e47a732a0b685e8eb4792
authormalc <moosotc@gmail.com>
Tue, 31 Jan 2017 12:37:29 +0000 (31 15:37 +0300)
committermalc <moosotc@gmail.com>
Tue, 31 Jan 2017 12:37:29 +0000 (31 15:37 +0300)
tree2161500a902e103bd6dc7629d735ceed9a96021a
parent7bdba79c0681a12465ff1a97024f09392a664591
More closure cosmetics/consistency/correctness
main.ml