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

Rust

☰

Type Definition P3

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

type P3 = PInt<UInt<UInt<UTerm, B1>, B1>>;