dafny_runtime::_System

Type Alias nat

Source 
pub type nat = DafnyInt;

Aliased Typeยง

struct nat { /* private fields */ }