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

docs.rs

Rust

dafny_runtime0.1.0

In dafny_runtime::rcmut

dafny_runtime::rcmut

Function array_object_from_box

pub fn array_object_from_box<T>(data: Box<[T]>) -> Object<[T]>