|
-
a
:
Stm<'T>
-
Returns:
'T
|
|
-
p
:
'a -> Stm<bool>
-
ms
:
'a seq
-
Returns:
Stm<'a seq>
|
|
-
p
:
bool
-
x
:
Stm<unit>
-
Returns:
Stm<unit>
|
|
-
f
:
'a -> 'b
-
x
:
Stm<'a>
-
Returns:
Stm<'b>
|
|
-
f
:
'a -> Stm<'b>
-
ms
:
'a seq
-
Returns:
TLog -> 'b seq
|
|
-
f
:
'a -> Stm<unit>
-
ms
:
'a seq
-
Returns:
TLog -> unit
|
|
-
value
:
'T
-
Returns:
TVar<'T>
|
|
-
a
:
Stm<'T>
-
b
:
Stm<'T>
-
trans
:
TLog
-
Returns:
'T
|
|
-
ref
:
TVar<'T>
-
trans
:
TLog
-
Returns:
'T
|
|
-
()
:
unit
-
trans
:
TLog
-
Returns:
'T
|
|
-
ms
:
Stm<'a> seq
-
trans
:
TLog
-
Returns:
'a seq
|
|
-
ms
:
Stm<unit> seq
-
trans
:
TLog
|
|
-
Returns:
StmBuilder
|
|
-
ref
:
TVar<'T>
-
value
:
'T
-
trans
:
TLog
|