从论文“特殊交付：使用邮箱类型编程”中实现类型检查器，Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types", (2023-07-08, OCaml, 0KB, 下载0次)