write

fun write(predicate: AccessScope<S>.(Caller) -> AccessPredicate)

What a caller may change of the aggregates; write { denyAll() } for none.