SynchronousAutomaton
inline fun <State, Transition, NoNextStateReason> SynchronousAutomaton(initialState: State, crossinline checkTransition: SynchronousAutomaton<State, Transition, NoNextStateReason>.(previousState: State, transition: Transition) -> CheckResult<State, NoNextStateReason>, crossinline onTransition: SynchronousAutomaton<State, Transition, NoNextStateReason>.(previousState: State, transition: Transition, nextState: State) -> Unit = { _, _, _ -> }): SynchronousAutomaton<State, Transition, NoNextStateReason>(source)