implies

Требования к платформе и версии: JVM (1.0), JS (1.0), Native (1.0)

@ExperimentalContracts abstract infix fun implies(
    booleanExpression: Boolean
): ConditionalEffect

Указывает, что при наблюдении за этим эффектом гарантируется, что booleanExpression будет истинным.

Примечание: booleanExpression может принимать только подмножество логических выражений, где параметр функции или получатель (this) подвергается

• проверкам на «истинность» или «ложность», в случае если параметр или получатель является Boolean;
• проверкам на null (== null, != null);
• проверкам типа (is, !is);
• комбинации вышеперечисленного с использованием логических операторов (&&, ||, !).