Type Definition conshomfold::Pos

type Pos = usize;