Add a fully fledged Clause
type, rename old Clause
to ClauseKind
#112772
Merged
bors merged 3 commits intorust-lang:masterfrom Jun 21, 2023
Merged
Add a fully fledged `Clause` type, rename old `Clause` to `ClauseKind`#112772bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom
Commits
Commits on Jun 19, 2023
- committed
- committed
- committed