Index of types

S
stm [Stm]	The type of a transaction, when executed will produce a result of type `'a`.
T
t [Cothread]
tvar [Stm]	the type of transactional variable, which has inside a value of type `'a`