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 {
}
|