.class public interface abstract Lkotlin/contracts/SimpleEffect;
.super Ljava/lang/Object;
.source "Effect.kt"

# interfaces
.implements Lkotlin/contracts/Effect;


# annotations
.annotation runtime Lkotlin/Metadata;
    d1 = {
        "\u0000\u0016\n\u0002\u0018\u0002\n\u0002\u0018\u0002\n\u0000\n\u0002\u0018\u0002\n\u0000\n\u0002\u0010\u000b\n\u0000\u0008g\u0018\u00002\u00020\u0001J\u0011\u0010\u0002\u001a\u00020\u00032\u0006\u0010\u0004\u001a\u00020\u0005H\u00a7\u0004\u00a8\u0006\u0006"
    }
    d2 = {
        "Lkotlin/contracts/SimpleEffect;",
        "Lkotlin/contracts/Effect;",
        "implies",
        "Lkotlin/contracts/ConditionalEffect;",
        "booleanExpression",
        "",
        "kotlin-stdlib"
    }
    k = 0x1
    mv = {
        0x1,
        0x9,
        0x0
    }
    xi = 0x30
.end annotation


# virtual methods
.method public abstract implies(Z)Lkotlin/contracts/ConditionalEffect;
.end method