Skip to content

Instantly share code, notes, and snippets.

@anderseknert
Created April 5, 2023 20:11
Show Gist options
  • Save anderseknert/833b1e9e40afa8c54450e59bfeb380ca to your computer and use it in GitHub Desktop.
Save anderseknert/833b1e9e40afa8c54450e59bfeb380ca to your computer and use it in GitHub Desktop.
Policy
package p
import future.keywords
global := "foo"
allow if {
a := global
b := [c | c := input[x]] # can't capture x
every d in input {
d == "foo"
}
every e, f in input.bar {
e == f
}
some g, h
input.bar[g][h]
some i in input
some j, k in input
[l, m, n] := [1, 2, 3]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment