let copy s = { u = U.S.copy s.u; la = La.S.copy s.la; nl = S.copy s.nl; p = S.copy s.p; cop = S.copy s.cop; cl = S.copy s.cl; arr = S.copy s.arr; set = S.copy s.set; bv = S.copy s.bv }