Tal-seven
Tal-seven
Hi! Although i have just started using sml, i believe that a direct transition from a sub-state to an external state is not possible without having transitioned to the contained...
@drorspei Thank you for pointing that out.