protocol: polish exports
[majurity.git] / hjugement / Majority / Merit.hs
2019-04-14 Julien MoutinhoAdd majorityValueOfRank