Schedule.build_checked: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/schedule.bend as Schedule
Lines 51-54 of bendvy-ecs-core@0.1.0.4/schedule.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/schedule.bend&start_line=51&end_line=54

import Base

def build_checked(~S: Data,~C: Type,~R: Type,~E: Data,~H: Type,allowed: Bool,+namespace: U32,+name: String,+steps: List<&2,Step>,owners: H) -> Build<S,C,R,E,H>:
  match allowed:
    case False{}: Invalid{owners}
    case True{}: Built{Schedule{namespace,name,steps,owners}}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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.4/schedule.bend&name=Build
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule.bend&name=Schedule
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule.bend&name=Step