rule

fun rule(function: (args: ArgContextReader<C, V>) -> NegativeAuthorization)