Advertisement
Guest User

Untitled

a guest
Mar 23rd, 2019
65
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.11 KB | None | 0 0
  1. Ref(Rollbinding, Role) ≝
  2. ∧ RoleBinding.RoleRef.Kind = Role.Kind
  3. ∧ RoleBinding.RoleRef.Name = Role.Name
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement