def learn2

cswap-bend-cli@0.1.0.0 · daemon/identity.bend:83

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

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

Uses (8)

Used by (1)