logicaffeine-data-0.8.19
- logicaffeine-data 0.8.19
- Docs.rs crate page
- BUSL-1.1
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- TristenHarr
- Dependencies
- logicaffeine-base ^0.8.19 normal
  serde ^1.0 normal
  bincode ^1.3 dev
  getrandom ^0.2 normal
  getrandom ^0.2 normal
- Versions
- 100% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Skip to main content

Nat

logicaffeine_data0.8.19

In logicaffeine_data::types

logicaffeine_data::types

Type Alias Nat

pub type Nat = u64;

Expand description

Non-negative integers. Maps to Peano Nat in the kernel.