Skip to content

WIP: get rid of module rec and functors by moving many types into types.ml - #576

Draft
lefessan wants to merge 3 commits into
OCamlPro:nextfrom
lefessan:z-2023-04-14-all-in-types
Draft

WIP: get rid of module rec and functors by moving many types into types.ml#576
lefessan wants to merge 3 commits into
OCamlPro:nextfrom
lefessan:z-2023-04-14-all-in-types

Move Symbols, Expr and Theory types in types.ml, get rid of module rec

982962a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs