Skip to main content

Nat

logicaffeine_data::types

Type Alias Nat 

Source 
pub type Nat = u64;
Expand description

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