deuce STM型安全吗？

Question

我为 pi calculus 编写了 JAVA 库，该库使用 Deuce STM 来管理并发进程。
我还希望证明我的图书馆的类型安全。
Deuce STM库类型是否安全？如果是的话，可以赞赏一些相同的链接。