Sha256.stream.initial: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend as Sha256
Lines 213-214 of mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend&start_line=213&end_line=214

import Base
import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Core

def stream.initial() -> Stream:
  Stream{Core.initial(), stream.empty.bytes(), 0n}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend&name=initial
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend&name=Stream
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend&name=stream.empty.bytes