let eqs_of s = s.eqs