openapi

OpenAPI 给了你词汇表，Session Types 需要的是语法

OpenAPI 规范描述了请求和响应的 schema，但并未规定合法的消息序列。本文介绍你能从中提取什么，以及哪些地方仍需手动补全。