openapi

OpenAPI 給你字母表，Session Types 要的是文法

OpenAPI 規格描述了請求與回應的 schema，但沒有規定合法的訊息順序。以下是能從中萃取什麼，以及哪些地方仍然需要手動補齊。