dhall-kubernetes/default/io.k8s.api.policy.v1beta1.IDRange.dhall
Fabrizio Ferrai 6acb5b3e18 Update to Dhall 1.14
Switch Integer to Natural
2018-07-08 20:47:09 +03:00

5 lines
144 B
Plaintext

\(_params : {max : (Natural), min : (Natural)}) ->
{ max = _params.max
, min = _params.min
} : ../types/io.k8s.api.policy.v1beta1.IDRange.dhall