1 2 3 4
package tools.refinery.store.reasoning.translator.typehierarchy; sealed interface TypeAnalysisResult permits EliminatedType, PreservedType { }