verified-0.2.2
- verified 0.2.2
- Docs.rs crate page
- MIT
- Links
- Repository
- Crates.io
- Source
- Owners
- bobbygebert
- Dependencies
- typenum ^1.12.0 normal
  verify_macro ^0.2.2 normal
  tempfile ^3.1.0 dev
  textwrap ^0.11.0 dev
  trybuild ^1.0.28 dev
- Versions
Go to latest version
Platform
Feature flags

Rust

☰

Type Definition U3

[−][src]Type Definition verified::U3

type U3 = UInt<UInt<UTerm, B1>, B1>;