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