Skip to content

Instantly share code, notes, and snippets.

@dtornow

dtornow/k8s-api-object.als

Last active November 6, 2018 21:54
Show Gist options
  • Save dtornow/77e3e5840083f36e72aaa3bde18e1b20 to your computer and use it in GitHub Desktop.
Save dtornow/77e3e5840083f36e72aaa3bde18e1b20 to your computer and use it in GitHub Desktop.
Download ZIP
K8s API, Object
Raw
k8s-api-object.als
sig Object {kind : Kind, name : Name, namespace : Namespace, mod : Int}
pred eq(o, o' : Object) {
o.kind = o'.kind and o.name = o'.name and o.namespace = o'.namespace
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment