~/jendhub

def unchecked

bendvy-ecs-core@0.1.0.3 · execution_schema_provisioning.bend:22

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

22def unchecked(~S:Data,~resources:Layout.Layout,_:U32,owners:Layout.resources(~S,resources)) -> Layout.resources(~S,resources) & Bool:
23  (owners,True{})

Uses (6)

Used by (1)