rego-proofs/examples/06-complex-set-membership.rego


1
2
3
4
5
6
7
8
9

package examples.complex_set_membership

apps_and_hostnames[[name, hostname]] {
    some i, j, k
    name := apps[i].name
    server := apps[i].servers[_]
    sites[j].servers[k].name == server
    hostname := sites[j].servers[k].hostname
}