verus
forked from verus-lang/verus
Star 0
Fork 0
Watch
verus source docs guide src container_bst_all_source.md
580 B · 23 lines
Markdown
at master

Full source for the examples #

First draft #

{{#include ../../../../examples/guide/bst_map.rs:all}}

Version with type invariants #

{{#include ../../../../examples/guide/bst_map_type_invariant.rs:all}}

Version with generic key type and Clone implementation #

{{#include ../../../../examples/guide/bst_map_generic.rs:all}}