rw [KVChain.mergeWith_nil]
α : Type u
inst✝¹ : LinearLT α
inst✝ : DecidableRel LT.lt
xvars : KVChain LT.lt fun x => valType
⊢ { vars := KVChain.mergeWith (fun x a b => some (valAdd a b)) xvars KVChain.nil } = { vars := xvars }
no goals