vrsc 0.0.1

a library for Verus types
Documentation
  • Coverage
  • 65.81%
    77 out of 117 items documented0 out of 84 items with examples
  • Size
  • Source code size: 53.3 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 2.0 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 22s Average build duration of successful builds.
  • all releases: 22s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • jorian

VRSC

This is a library for Verus types.

Todo

  • identities
  • currencies
  • pbaas