InstLc.CrLc.lift: def of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/inst_lc.bend as InstLc
Lines 27-29 of bend-osdev-crypto@0.1.0.0/inst_lc.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/inst_lc.bend&start_line=27&end_line=29

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
import bend-osdev-crypto@0.1.0.0/crypto.bend as Cr

# a legacy-ciphers result as an interface result
def CrLc.lift(~A: Data, r: Result<&2, &2, L.LcError, A>) -> Result<&2, &2, Cr.CrError, A>:
  Cr.CrError.lift(~L.LcError, ~A, ~CrLc.err, r)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/crypto.bend&name=CrError
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/crypto.bend&name=CrError.lift
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/inst_lc.bend&name=CrLc.err
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend&name=LcError