Type Definition batsat::clause::VMap

source · 
pub type VMap<V> = IntMap<Var, V>;