def in_list

cswap-bend-cli@0.1.0.0 · daemon/plan.bend:114

import cswap-bend-cli@0.1.0.0/daemon/plan.bend as Plan
import Base
import cswap-bend-cli@0.1.0.0/daemon/gather.bend as G

114def in_list(+e: G.Ent, +xs: List<&2, G.Ent>) -> Bool:
115  match xs:
116    case Nil{}:
117      False{}
118    case Con{h, t}:
119      same_slot(e, h) || in_list(e, t)

Uses (5)

Used by (1)