let eq s1 s2 =
    U.S.eq s1.u s2.u &&
    La.S.eq s1.la s2.la &&
    S.eq s1.nl s2.nl &&
    S.eq s1.p s2.p &&
    S.eq s1.cop s2.cop &&
    S.eq s1.cl s2.cl &&
    S.eq s1.arr s2.arr &&
    S.eq s1.set s2.set &&
    S.eq s1.bv s2.bv