let update s i eqs =
  (Array.set s.eqs i eqs; s)