mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
cb0b3a1790
Authored by anakrish and mingweishih Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
23 lines
304 B
Rego
23 lines
304 B
Rego
Cpackage play
|
|
|
|
a := {4}
|
|
|
|
mydoc(x) := path {
|
|
path := "data.play.a"
|
|
}
|
|
|
|
x := [ y |
|
|
y := data.play.a | data.play.b with data.play.a as {5} with data.play.b as {6}
|
|
]
|
|
|
|
r := [ m | m := data.play.p with data.play.p as 5 + 6; true ]
|
|
|
|
|
|
allow {
|
|
input.x
|
|
== 5
|
|
|
|
input.y == 5
|
|
input.y
|
|
== 5
|
|
} |