Write_port_2d.M
Shorthand useful for writing 'a Write_port_2d.M(Foo).t in type signatures.
'a Write_port_2d.M(Foo).t
module M : Base.T1
type nonrec 'a t = ( 'a, 'a M.t ) t
module type S = S with type 'a write_data := 'a M.t