
  // IntelliJ API Decompiler stub source generated from a class file
  // Implementation of methods is not available

package pkg;

sealed interface Sealed permits pkg.A, pkg.B {
}