Type Definition screwsat::screwsat::Var

type Var = usize;