117def resourceEndpointIdentity =
118 (lambda unrestricted value : (family ResourceEndpoint) .
119 (eliminate
120 ResourceEndpoint
121 (lambda unrestricted current : (family ResourceEndpoint) . Bytes)
122 value
123 (branch ResourceEndpointOf id identity realization capabilities domains . identity)))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.