67def cdBindingAdmitted =
68 (lambda unrestricted device : (family NvidiaDeviceBinding) .
69 (naturalAnd
70 (nvidiaDeviceBindingAdmitted device)
71 (naturalEqual (bytes-length (nvidiaDeviceBindingUUID device)) 16)))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.