ExecutionDeferredSettings.automatic_id: def of bendvy-ecs-core@0.1.0.3 Import: import bendvy-ecs-core@0.1.0.3/execution_deferred_settings.bend as ExecutionDeferredSettings Lines 102-105 of bendvy-ecs-core@0.1.0.3/execution_deferred_settings.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_deferred_settings.bend&start_line=102&end_line=105 import Base def automatic_id(automatic:List<&2,Automatic>,+distance:Nat) -> Maybe<&2,U32>: match automatic: case []:None{} case Automatic{other,id} <> rest:automatic_choice(Nat.is_eq(other,distance),id,automatic_id(rest,distance)) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq 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_deferred_settings.bend&name=Automatic https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_deferred_settings.bend&name=automatic_choice