nat

dafny_runtime::_System

Type Alias nat 

Source 
pub type nat = DafnyInt;

Aliased Typeยง

pub struct nat { /* private fields */ }