type Decision
import bend-kit-commands@0.4.0.0/commands.bend as Commandsimport Base
21# The domain's answer to a new command.
22type Decision<-S: Type, -R: Type, -E: Type> is Type:
23 Accept{state: S, result: R, effects: List<E>}
24 Refuse{result: R}