let copy s = {
  v = V.copy s.v; 
  d = s.d; 
  equal = s.equal; 
  diseq = s.diseq
}