oc"><p><code>map_transition f s</code> returns the LTSA obtained by replacing each transition <code>t</code> by <code>f t</code> in <code>s</code>. Each non-initial transition <code>qs,l,qd</code> is replaced by <code>qs',l',qd'</code>, where <code>(Some qs',l',qd') = f (Some qs,l,qd)</code>. If present, the initial transition <code>l,qi</code> is replaced by <code>l',qi'</code> where <code>(None,l',qi') = f (None, l, qi)</code>. Warning: updating the source and/or destination state in a transition may resu