alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard
verified publisher icon OCamlPro

Merge enum

Open Halbaroth opened this issue 1 year ago • 0 comments

After refactoring both Enum and ADT theories, they shared most of their implementation.

This PR merges Enum theory into ADT ones.

This PR is rebased on #1093

Halbaroth avatar Apr 13 '24 07:04 Halbaroth