~/jendhub

def share_one

bend-prot@0.1.0.0 · bonded.bend:165

import bend-prot@0.1.0.0/bonded.bend as Bonded
import Base

165def share_one(xs: List<&2, U32>, +ys: List<&2, U32>) -> Bool:
166  match xs:
167    case Nil{}:
168      False{}
169    case h <> t:
170      Bool.or(list_member(h, ys), share_one(t, ys))

Uses (5)

Used by (1)