forked from verus-lang/verus

verus source docs guide src reference-recommends.md

96 B · 3 lines

Markdown

Travis Hance · guide: add reference page on `returns` clause, function signatures · 1y ago

recommends #

See this guide page for motivation and overview.