def relation_keys_equal

bendvy-ecs-core@0.1.0.4 · ordinary_reader_stream_parameter.bend:557

import Base
import bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend as KD

557def relation_keys_equal(~S:Data,left:List<&2,KD.DescriptorKey<S>>,right:List<&2,KD.DescriptorKey<S>>) -> Bool:
558  match left:
559    case []:
560      match right:
561        case []:True{}
562        case _ <> _:False{}
563    case a <> restA:
564      match right:
565        case []:False{}
566        case b <> restB:Bool.and(KD.key_equal(~S,a,b),relation_keys_equal(~S,restA,restB))