Type Definition batsat::clause::LMap

type LMap<V> = IntMap<Lit, V>;