@kotlin.Metadata
public final class ApproximateCapturedTypesKt {
    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
}

@kotlin.Metadata
public class Inv {
    public method <init>(): void
}

@kotlin.Metadata
public final class Obs {
    public method <init>(): void
    private final method lift(p0: Operator): Inv
}

@kotlin.Metadata
public interface Operator

@kotlin.Metadata
public final class SwOperator {
    public method <init>(): void
}
