requires

fun requires(requirement: (S) -> Boolean): B