moon run cmd/main{
"import": [
"bobzhang/loop_invariants_data_structures/avl_tree"
]
}///|
fn main {
let sorted = @avl_tree.avl_sorted([3L, 1L, 4L, 1L][:])
println("sorted = \{sorted}")
}moon run cmd/mainsorted = [1, 1, 3, 4]Install
Download zipComprehensive collection of algorithms and data structures with well-documented loop invariants for correctness reasoning