Move UniSyms to utils
commit3708986ae02fb1cd6a6faf99e16c8150a721ab4b
authormalc <moosotc@gmail.com>
Tue, 8 May 2018 05:01:38 +0000 (8 08:01 +0300)
committermalc <moosotc@gmail.com>
Tue, 8 May 2018 05:01:38 +0000 (8 08:01 +0300)
treefe23aaf431d60dbd206c12671f799d27503a6b9a
parent61ed18e3186af098a91093205255bdc6a8b09fbb
Move UniSyms to utils
main.ml
utils.ml