def same_count

bendvy-ecs-core@0.1.0.3 · relation_reorder_core.bend:15

import Base
import entity_key.bend as K

15def same_count(a: List<&2,K.Key>,b: List<&2,K.Key>) -> Bool:
16  match a b:
17    case Nil{} Nil{}: True{}
18    case Con{_,ar} Con{_,br}: same_count(ar,br)
19    case _ _: False{}