Summarizing the iterator API as usefully-succinctly as possible, using an ad hoc, math-like notation.
Flux is a refinement type checker for Rust that lets you specify a range of correctness properties and have them be verified at compile time.
Looks like a good candidate for my pipeline, to refine
pulldown-cmark output: https://lib.rs/crates/lol_html
Found when looking for subscript support in