|
|
@ -2262,7 +2262,7 @@ string. |
|
|
\sessionmgr : \Record{\User; \UnitType \to \alpha \eff \EnvE} \to \alpha\\ |
|
|
\sessionmgr : \Record{\User; \UnitType \to \alpha \eff \EnvE} \to \alpha\\ |
|
|
\sessionmgr~\Record{user;m} \defas |
|
|
\sessionmgr~\Record{user;m} \defas |
|
|
\environment\,\langle{}user;(\lambda\Unit. |
|
|
\environment\,\langle{}user;(\lambda\Unit. |
|
|
\ba[t]{@{~}l} |
|
|
|
|
|
|
|
|
\ba[t]{@{}l} |
|
|
\Handle\;m\,\Unit\;\With\\ |
|
|
\Handle\;m\,\Unit\;\With\\ |
|
|
~\ba{@{~}l@{~}c@{~}l} |
|
|
~\ba{@{~}l@{~}c@{~}l} |
|
|
\Return\;res &\mapsto& res\\ |
|
|
\Return\;res &\mapsto& res\\ |
|
|
|
