Rename type
commit0a057d4e98c8ee57d2f5b2dabb40667888a8b2da
authormalc <moosotc@gmail.com>
Wed, 30 Nov 2016 07:44:29 +0000 (30 10:44 +0300)
committermalc <moosotc@gmail.com>
Wed, 30 Nov 2016 07:44:29 +0000 (30 10:44 +0300)
treea80c7d600493c88e6831d22d23b83794dd2bc66d
parent096954628504feaebb02a15ea55b2c0a899f061a
Rename type

Has no relation to polyvariants anymore.
keys.ml
wsi.mli