def descriptor_equal

bendvy-ecs-core@0.1.0.3 · schema_fragments.bend:152

import Base

152# A closed initializer states its required descriptors before receiving any owners.
153# As with Family lenses, caller-authored adapters remain trusted provisioning.
154def descriptor_equal(~S:Data,a:Entry<S>,b:Entry<S>) -> Bool:
155  match a b:
156    case Entry{ak,ax,an} Entry{bk,bx,bn}:Bool.and(same_kind(ak,bk),Bool.and(String.eq(ax,bx),String.eq(an,bn)))
157    case _ _:False{}