Type Definition oxymcts::Nat

type Nat = u32;