transform DisjointUnion to DisjointWith
Open
- Dominant language
- Scala
- Stars
- 46
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Currently DisjointUnion doesn't provide any inferences, but it does with ELK 0.6.0.
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue names no source files, tests, or entry points. Start by locating the implementation of DisjointUnion and the transformation to DisjointWith, then inspect how inference behavior is tested; done means the transformed form provides the expected inferences without regressing existing reasoner behavior.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- scala
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100