constructor
case shutdown.shutdown
net✝ : Network
exec : Executable net✝
a✝ : ReactorId net✝
reaction : Class.Reaction (Path.class a✝)
equiv : Reaction.Trigger.shutdown ≡ Trigger.shutdown
h : exec.state = State.shuttingDown
⊢ Activates exec Reaction.Trigger.shutdown
case shutdown.shutdown.a
net✝ : Network
exec : Executable net✝
a✝ : ReactorId net✝
reaction : Class.Reaction (Path.class a✝)
equiv : Reaction.Trigger.shutdown ≡ Trigger.shutdown
h : exec.state = State.shuttingDown
⊢ exec.state = State.shuttingDown