Type Definition screwsat::screwsat::Lit

type Lit = (Var, bool);