Skip to content

Instantly share code, notes, and snippets.

@dtornow

dtornow/k8s-api-server.als

Last active November 6, 2018 21:54
Show Gist options
  • Save dtornow/7008329596cfdfdd7dfb2780e001d631 to your computer and use it in GitHub Desktop.
Save dtornow/7008329596cfdfdd7dfb2780e001d631 to your computer and use it in GitHub Desktop.
Download ZIP
K8s API, Server
Raw
k8s-api-server.als
sig Server {objects : set Object, rev : Int}
fact {
all s : Server {
all disj o, o' : s.objects | not eq[o, o']
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment