Fix issues with may_<strigger>
for nested and async machines and slightly improve typing#662
Merged
aleneum merged 2 commits intomasterfrom dev-misc-fixesMay 7, 2024
+28-7