Module Write_port_1d.M

Shorthand useful for writing 'a Write_port_1d.M(Foo).t in type signatures.

Parameters

module X : Base.T1

Signature

type nonrec 'a t = ( 'a, 'a X.t ) t
module type S = S with type 'a write_data := 'a X.t