module Read_write: sig .. end
sig
end
type 'a t = ('a, Core.Std.read_write) Array.Access_control.any
'a
('a, Core.Std.read_write) Array.Access_control.any
include Sexpable.S1
include Binable.S1