def recipe_completed

bendvy-ecs-core@0.1.0.4 · feature.bend:160

import bendvy-ecs-core@0.1.0.4/feature.bend as Feature
import Base

160def recipe_completed(~S:Data,~Ctx:Type,~Owners:Type,~Extra:Type,observed:Ctx & Output<S,Extra>) -> RecipeResult<S,Ctx,Owners,Extra>:
161  match observed:
162    case (ctx,output): Completed{ctx,output}

Uses (4)

Used by (1)