of
fun of(context: ExecutionContext, procedure: Signature, operation: PermissionError.Operation, permission: PermissionError.Permission, culprit: Term): PermissionError
Creates a PermissionError reporting that operation on culprit, attempted while executing procedure, is forbidden due to lacking permission.