aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/EliminatedType.java
blob: 1b8d7cc9458a89177c9d5e012fcbec0756a0a62e (plain) (blame)
1
2
3
4
5
6
package tools.refinery.store.reasoning.translator.typehierarchy;

import tools.refinery.store.reasoning.representation.PartialRelation;

record EliminatedType(PartialRelation replacement) implements TypeAnalysisResult {
}