Refactoring `Adt_rel` using domains on class representatives only · OCamlPro/alt-ergo@ddd8076 · GitHub

Commit

Refactoring Adt_rel using domains on class representatives only

Browse files

This PR refactors the `Adt` relations in order to use a proper type
for the domains of enum semantic values.
See PR #1078

Loading branch information

Halbaroth committed Apr 3, 2024

1 parent 78d5591 commit ddd8076