CheckedConditionSchedule.Error: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/checked_condition_schedule.bend as CheckedConditionSchedule
Lines 9-15 of bendvy-ecs-core@0.1.0.4/checked_condition_schedule.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/checked_condition_schedule.bend&start_line=9&end_line=15

import Base
import bendvy-ecs-core@0.1.0.4/check.bend as K

# Same membership/duplicate/namespace, step and SP needs behavior as
# ordinary-condition-composition. Only selected Check errors differ in transport.
type Error<BodyError:Data> is Data:
  SystemError{error:BodyError}
  CheckError{error:K.Error}
  ConditionUnavailable{}
  ConditionRegistrationRejected{}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/check.bend&name=Error