/dhall-kubernetes-1.16-v6.0.0/defaults/io.k8s.apiextensions-apiserver.pkg.apis.apiextensions.v1beta1.CustomResourceColumnDefinition.dhall

Source

{ description = None Text, format = None Text, priority = None Integer }