common/dev.ust.zinc.grader.extension/toInt

toInt

fun Boolean.toInt(): Int

Converts this into 1 or 0 depending on its value.