def named.at
import ezx@1.11.0.0/src/ws/joint.bend as Jointimport Base
415# the member found, once it is known whether the head is it
416def named.at(hit: Bool, hd: Member, rest: Maybe<&2, Member>) -> Maybe<&2, Member>:
417 match hit:
418 case True{}:
419 Some{hd}
420 case False{}:
421 rest