📄️ Echo observed
{/ Code generated by rtvbp-spec-gen from the typed protocol specification. DO NOT EDIT. /}
Flows
Generated sequence diagrams for typed demo.v1 conformance scenarios.
Generated sequence diagrams for typed demo.v1 conformance scenarios.
{/ Code generated by rtvbp-spec-gen from the typed protocol specification. DO NOT EDIT. /}