Module openapi 

OpenAPI/Swagger protocol definition and parser/emitter. OpenAPI/Swagger protocol definition.

OpenAPI uses a constrained multigraph schema theory (colimit(ThGraph, ThConstraint, ThMulti)) and a W-type instance theory (ThWType).

Vertex kinds: path, operation, parameter, request-body, response, schema-object, header, string, integer, number, boolean, array, object.

Edge kinds: prop, items, variant, ref.

Functions

emit_openapi

Emit a Schema as an OpenAPI JSON document.

parse_openapi

Parse an OpenAPI JSON document into a Schema.

protocol

Returns the OpenAPI protocol definition.

register_theories

Register the component GATs for OpenAPI with a theory registry.