words := ["hello", "world", "", "mog", "", "lang"];
| If of expr * expr * expr (* if c then t else f *)。业内人士推荐新收录的资料作为进阶阅读
，详情可参考新收录的资料
When we run timeTravel(checkoutFlow, traceLog), it will actually exercise our checkout workflow, and produce the following output. With that, we’ve successfully executed a production execution trace locally, all without touching any database or external service:
2. Surprising syscalls，推荐阅读新收录的资料获取更多信息