895def lookupCoreIndexedBytesPrimitive :
896 (pi unrestricted name : Bytes . (family CorePrimitiveLookupResult)) =
897 (lambda unrestricted name : Bytes .
898 (chooseCorePrimitive
899 (coreBytesEqual name b"bytes-set-index")
900 (constructor CorePrimitive CoreBytesSetIndex)
901 (chooseCorePrimitive
902 (coreBytesEqual
903 name
904 b"bytes-index-nonzero")
905 (constructor CorePrimitive CoreBytesIndexNonzero)
906 (chooseCorePrimitive
907 (coreBytesEqual
908 name
909 b"bytes-set-free-index")
910 (constructor CorePrimitive CoreBytesSetFreeIndex)
911 (chooseCorePrimitive
912 (coreBytesEqual name b"bytes-head")
913 (constructor CorePrimitive CoreBytesHead)
914 (chooseCorePrimitive
915 (coreBytesEqual name b"bytes-tail")
916 (constructor CorePrimitive CoreBytesTail)
917 (chooseCorePrimitive
918 (coreBytesEqual name b"bytes-checksum")
919 (constructor CorePrimitive CoreBytesChecksum)
920 (lookupCoreBytesBuilderPrimitive name))))))))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.