Type Definition batsat::clause::LSet

source · 
pub type LSet = IntSet<Lit>;