ExecutionSchemaProvisioning.preflight: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_schema_provisioning.bend as ExecutionSchemaProvisioning
Lines 63-65 of bendvy-ecs-core@0.1.0.3/execution_schema_provisioning.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_schema_provisioning.bend&start_line=63&end_line=65

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout

def preflight(~S:Data,~resources:Layout.Layout,~Seed:Type,value:Blueprint<S,resources,Seed>) -> U32 -> Layout.resources(~S,resources) -> Layout.resources(~S,resources) & Bool:
  match value:
    case Blueprint{_,_,_,_,_,preflight}:preflight

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  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_composer_layout.bend&name=Layout
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=resources
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_schema_provisioning.bend&name=Blueprint