---
cases:
  - data: {}
    modules:
      - |
        package generated

        p[x] {
          net.cidr_contains("10.0.0.0/8", "10.1.2.3", x)
        }
    note: netcidrcontains/cidr contains ip
    query: data.generated.p = x
    sort_bindings: true
    want_result:
      - x:
          - true
