Identity.learn2: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/identity.bend as Identity
Lines 83-88 of cswap-bend-cli@0.1.0.0/daemon/identity.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/identity.bend&start_line=83&end_line=88

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act

def learn2(+empty: Bool, +slot_uuid: String, +root: String, +slot: String, +ta_uuid: String) -> Act.of(String):
  match empty:
    case True{}:
      learned(root, slot, ta_uuid)
    case False{}:
      Act.pure(String, verdict(Bool.not(String.eq(slot_uuid, ta_uuid))))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=pure
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/identity.bend&name=learned
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/identity.bend&name=verdict