如何使用F#实现状态机？你是如何过渡的？

type State =
    | State1
    | State2
    | State3

let nextState (currentState: State) =
    match currentState with
    | State1 -> State2
    | State2 -> State3
    | State3 -> State1

let processEvent (currentState: State) =
    let nextState = nextState currentState
    match nextState with
    | State1 -> printfn "进入状态1"
    | State2 -> printfn "进入状态2"
    | State3 -> printfn "进入状态3"