Lrw.CrLrwKey: type of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/lrw.bend as Lrw
Lines 104-106 of bend-osdev-crypto@0.1.0.0/lrw.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/lrw.bend&start_line=104&end_line=106

import Base
import bend-osdev-gf@0.1.0.0/gf128.bend as G

# The key pair: the cipher's key schedule and the tweak key
type CrLrwKey<-K: Data> is Data:
  CrLrwKey{k: K, t: G.Gf128}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&name=Gf128