OpenAPI vous donne l'alphabet. Les session types ont besoin de la grammaire.
Les spécifications OpenAPI décrivent les schémas de requête et de réponse, mais elles ne spécifient pas les séquences de messages valides. Voici comment extraire ce qui est possible et où vous devez encore combler les lacunes.
