ExecutionQueryDomain.validate_tail: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query_domain.bend as ExecutionQueryDomain
Lines 21-25 of bendvy-ecs-core@0.1.0.3/execution_query_domain.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_domain.bend&start_line=21&end_line=25

import Base

def validate_tail(+capacity:U32,+offset:U32,next:Validation,duplicate:Bool,inRange:Bool) -> Validation:
  match duplicate inRange:
    case True{} _:Duplicate{offset}
    case False{} False{}:OutOfBounds{offset,capacity}
    case False{} True{}:next

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_domain.bend&name=Validation