859def lookupCoreBytesBuilderPrimitive :
860 (pi unrestricted name : Bytes . (family CorePrimitiveLookupResult)) =
861 (lambda unrestricted name : Bytes .
862 (chooseCorePrimitive
863 (coreBytesEqual name b"BytesBuilder")
864 (constructor CorePrimitive CoreBytesBuilderType)
865 (chooseCorePrimitive
866 (coreBytesEqual name b"bytes-builder")
867 (constructor CorePrimitive CoreBytesBuilderType)
868 (chooseCorePrimitive
869 (coreBytesEqual
870 name
871 b"bytes-builder-empty")
872 (constructor CorePrimitive CoreBytesBuilderEmpty)
873 (chooseCorePrimitive
874 (coreBytesEqual
875 name
876 b"bytes-builder-chunk")
877 (constructor CorePrimitive CoreBytesBuilderChunk)
878 (chooseCorePrimitive
879 (coreBytesEqual
880 name
881 b"bytes-builder-append")
882 (constructor CorePrimitive CoreBytesBuilderAppend)
883 (chooseCorePrimitive
884 (coreBytesEqual
885 name
886 b"bytes-builder-build")
887 (constructor CorePrimitive CoreBytesBuilderBuild)
888 (chooseCorePrimitive
889 (coreBytesEqual
890 name
891 b"runtime-image-v4-build")
892 (constructor CorePrimitive CoreRuntimeImageV4Build)
893 (lookupCoreEffectPrimitive 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.