main.rs « src « misc « examples - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/examples/misc/src/main.rs

blob: 4587c5710f036df93978ecf8c8b11ca5f50c5c90 (plain)

mod hashmap;

use hashmap::HashMap;

fn main() {
    let hm: HashMap<u64> = HashMap::new();
}