Core.Sched: type of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend as Core
Lines 12-14 of bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend&start_line=12&end_line=14

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend as T

# The sixteen most recent schedule words, newest first: W[t-1] .. W[t-16].
type Sched is Data:
  Win{a: T.Lane, b: T.Lane, c: T.Lane, d: T.Lane, e: T.Lane, f: T.Lane, g: T.Lane, h: T.Lane, i: T.Lane, j: T.Lane, k: T.Lane, l: T.Lane, m: T.Lane, n: T.Lane, o: T.Lane, p: T.Lane}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend&name=Lane