modelverse/models/fsa_design.mvc

include "primitives.alh"

Class String {}

Class State {
    name = "State"
    name : String
}

Association Transition (State, State) {
    trigger? : String {}
    raise? : String {}
}