Success

constructor(previousState: State, transition: Transition, nextState: State, computation: Computation)(source)