Executes a Mut by a state thread.
Mut
To hide the internal state, the type parameter S is universal quantified.
S
To be executed.
The result of computation.
Executes a
Mutby a state thread.To hide the internal state, the type parameter
Sis universal quantified.