CipherCore.lc.wrotl: def of bend-osdev-cipher-core@0.1.0.0
Import: import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as CipherCore
Lines 75-77 of bend-osdev-cipher-core@0.1.0.0/cipher_core.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&start_line=75&end_line=77

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

# the (m + n)-bit word w rotated left by n
def lc.wrotl(+m: Nat, +n: Nat, +w: Word(Nat.add(m, n))) -> Word(Nat.add(n, m)):
  W.W64.bits.cat(n, m, W.W64.bits.hi(m, n, w), W.W64.bits.lo(m, n, w))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.1/word64.bend&name=W64.bits.cat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.1/word64.bend&name=W64.bits.hi
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.1/word64.bend&name=W64.bits.lo