sig
  type ('a, 'z) read_write_ =
    ('a, 'z) Read_write.any = private {
    mutable read : 'a;
    mutable write : 'a;
  }
end