dafny-runtime-0.3.0
- dafny-runtime 0.3.0
- Docs.rs crate page
- ISC AND (Apache-2.0 OR ISC)
- Links
- Repository
- crates.io
- Source
- Owners
- ajewellamz
- robin-aws
- Dependencies
- itertools ^0.14.0 normal
  num ^0.4.3 normal
  once_cell ^1.21.3 normal
- Versions
- 0.81% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

dafny_runtime0.3.0

Module array

Module Items

Functions

In crate dafny_runtime

Module array

Functions§

construct
construct_object
from_native
from_vec
get
get_usize
initialize
initialize_box
initialize_box_usize
initialize_usize
length
length_usize
placebos
placebos_box
placebos_box_usize
placebos_usize
placebos_usize_object
to_vec
update
update_usize