tree_monadize tweaks
authorJim Pryor <profjim@jimpryor.net>
Sun, 5 Dec 2010 15:35:25 +0000 (10:35 -0500)
committerJim Pryor <profjim@jimpryor.net>
Sun, 5 Dec 2010 15:35:25 +0000 (10:35 -0500)
commitc9a9cb39ae6852c63c43d80ed4ebb05aec6c1e05
treee61dffdbc6f0bd279eb2615f92892340eb09dbc7
parent323b2661061ae22ca28b4bf79564e1d1bc9bc446
tree_monadize tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
code/tree_monadize.ml