def stream.initial

mylsm-lsm-store@0.6.0.1 · src/hub_sha/sha256.bend:213

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

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

Uses (3)

Used by (3)