RelationReorderCore.mismatch: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend as RelationReorderCore
Lines 38-42 of bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend&start_line=38&end_line=42

import Base
import entity_key.bend as K
import relation_types.bend as T

def mismatch(same: Bool,error: Maybe<&2,T.Error>,parent: K.Key,name: String) -> Maybe<&2,T.Error>:
  match same error:
    case _ Some{e}: Some{e}
    case True{} None{}: None{}
    case False{} None{}: Some{T.ChildSetMismatch{parent,name}}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/entity_key.bend&name=Key
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_types.bend&name=Error