Type Definition consalifold::Num

type Num = usize;