State Instance Variables

[frame-lang]

fn main {

}

#StateInstanceVariable

    -machine-

    $S1 
        var next_state:$ = nil 

        |<| [msg]
            print(msg) ^

        |init| [flag]
            flag ? 
                next_state = $S2($(1),<("bye"),>("hi"))
            :
                next_state = $S3($("Natasha")) 
            :|
            -> next_state ^
    
    $S2 [a]
        |>|
            print(a) ^

    $S3 [name]
        |>|
            print(name) ^
##