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:
module Make2:
module Make3: