rule

fun rule(code: String, message: String, predicate: (P) -> Boolean)