max

fun max(other: Coverage)

See also