type Insertion

bendvy-ecs-core@0.1.0.4 · ordinary_app_schedules.bend:27

import Base
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

27# Insert/replace result returning App in both branches. Inserted returns the
28# previous plan for that label (None for a new label); Invalid preserves old plans.
29type Insertion<-A:Type,-S:Data> is Type:
30  Inserted{app:A,previous:Maybe<&2,SP.Plan<S>>}
31  Invalid{app:A}