Type Definition LitIdx
varisat::lit
type LitIdx = u32;
The backing type used to represent literals and variables.