A first-order split of a byte string into a taken prefix and the rest, used to
slice fixed-size blocks without a function-valued fold or bytes-eliminate.
155field unrestricted sha256BytesSplitRest : BytesThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.