Simple inference experiment for session types in Rust
A modeling of the Encrypted Client Hello Message extension for TLS