Type Definition batsat::clause::LMap

source · 
pub type LMap<V> = IntMap<Lit, V>;