Type Definition conshomfold::Num

type Num = usize;