Module timeout 

Built-in extensions Example timeout extension for choreographic protocols

This demonstrates how to create a complete extension that adds timeout functionality to choreographic protocols.

Structs

TimeoutGrammarExtension

Grammar extension that adds timeout syntax

TimeoutProtocol

Protocol extension implementation for timeouts

TimeoutStatementParser

Statement parser for timeout constructs

Functions

register_timeout_extension

Convenience function to register the timeout extension.