sml
sml copied to clipboard
transition_sg cannot be used to define an initial state
When one uses a transition rule like "*from [ guard ] = target", the compiler refuses because * is not defined on transition_sg. It seems like the initial state can only be specified on a rule like "*from + event".