pub fn collect_trigger_outputs(module: &Module) -> HashSet<String>Expand description
Collect the trigger names a module makes available to listeners: triggers provided by its surfaces plus triggers emitted by its rules’ ensures clauses (the same sets the unreachable-trigger check consults locally).
Used by multi-file checking to build the per-alias trigger map that lets
when: alias/Trigger(...) subscriptions resolve across use imports.