type Error

bendvy-ecs-core@0.1.0.4 · checked_condition_schedule.bend:9

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

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