~/jendhub

def returned

bendvy-ecs-core@0.1.0.3 · feature.bend:174

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

174def returned(-Root:Type,-Provisions:Type,-Out:Data,provisions:Provisions,result:Root & Out) -> Application<Root,Provisions> & Report<Out>:
175  match result:
176    case (root,report):(Application{root,provisions,None{}},Executed{report})

Uses (5)

Used by (1)