let eqs_of s = Array.get s.eqs