Skip to content

Commit

Permalink
Refactoring Adt_rel using domains on class representatives only
Browse files Browse the repository at this point in the history
This PR refactors the `Adt` relations in order to use a proper type
for the domains of enum semantic values.
See PR OCamlPro#1078
Halbaroth committed Apr 3, 2024
1 parent 0a1f35e commit a56f8ef
Showing 1 changed file with 320 additions and 460 deletions.
Loading

0 comments on commit a56f8ef

Please sign in to comment.