Fixing Generate OrderedType and removing warnings#8

Open

StekiKun wants to merge 6 commits intorocq-archive:masterfrom

StekiKun:various-fixes

Commits on Feb 22, 2019

Commits on Feb 23, 2019

Removing warnings in OCaml code
StekiKun
committed

Commits on Feb 24, 2019