wip: make it clear where callbacks run in switch/timer#13

c-cube wants to merge 1 commit intomainimandra-ai/imandrakit:mainfrom

simon/more-explicit-switch-with-schedulerimandra-ai/imandrakit:simon/more-explicit-switch-with-schedulerCopy head branch name to clipboard