Reasoning with Types in Rust These are the corresponding examples from my blog post Reasoning with Types in Rust. License These examples are licensed under the BSD 2-Clause License (AKA the FreeBSD license) which is incuded in LICENSE.