Refactoring Adt_rel using domains on class representatives only#1087

Halbaroth merged 2 commits into

OCamlPro:nextOCamlPro/alt-ergo:nextfrom

Halbaroth:adt-rel-domainsHalbaroth/alt-ergo:adt-rel-domainsCopy head branch name to clipboard