The code below illustrates a large swath of Verus's syntax.
{{#include ../../../../examples/syntax.rs}}
