@kotlin.OptIn(markerClass = [kotlin.contracts.ExperimentalContracts::class])
fun logicalNotContract(value: kotlin.Boolean)