version

fun version(javaVersion: Int): Int(source)

Returns the matching Jextract version for a given Java major version