Module Align

module Align: sig .. end

Zip datatypes with non-uniform shapes using These.t


module type Basic = sig .. end
module type Basic2 = sig .. end
module type Basic3 = sig .. end
module type S = sig .. end
module type S2 = sig .. end
module type S3 = sig .. end
module Make: 
functor (A : Basic) -> S with type 'a t := 'a A.t
module Make2: 
functor (A : Basic2) -> S2 with type ('p, 'a) t := ('p, 'a) A.t
module Make3: 
functor (A : Basic3) -> S3 with type ('p, 'q, 'a) t := ('p, 'q, 'a) A.t