mv-model-0.1.4
- mv-model 0.1.4
- Docs.rs crate page
- Apache-2.0
- Links
- crates.io
- Source
- Owners
- dondidlc
- Dependencies
- anyhow ^1.0.52 normal
  codespan ^0.11.1 normal
  codespan-reporting ^0.11.1 normal
  internment ^0.5.0 normal
  itertools ^0.10.0 normal
  log ^0.4.14 normal
  move-bytecode-verifier ^0.1.1 normal
  move-command-line-common ^0.1.1 normal
  move-symbol-pool ^0.1.1 normal
  mv-binary-format ^0.1.1 normal
  mv-bytecode-source-map ^0.1.1 normal
  mv-compiler ^0.1.1 normal
  mv-core-types ^0.1.1 normal
  mv-disassembler ^0.1.1 normal
  mv-ir-types ^0.1.1 normal
  num ^0.4.0 normal
  once_cell ^1.7.2 normal
  regex ^1.4.3 normal
  serde ^1.0.124 normal
  datatest-stable ^0.1.1 dev
  move-prover-test-utils ^0.1.0 dev
- Versions
- 64.81% of the crate is documented
This release has been yanked, go to latest version
Platform
Feature flags

docs.rs

Rust

Module native

Constants

Module move_model::native

source · [−]

Expand description

Contains constants for well-known names of native functions

Constants

EVENT_EMIT_EVENT

VECTOR_BORROW_MUT