Functor Align.Make2

module Make2: 
functor (A : Basic2) -> S2  with type ('p, 'a) t := ('p, 'a) A.t

include Align.Basic2

val align : ('p, 'a) t -> ('p, 'b) t -> ('p, ('a, 'b) These.t) t

val falign : ('a -> 'a -> 'a) -> ('p, 'a) t -> ('p, 'a) t -> ('p, 'a) t

val pad_zip_with : ('a option -> 'b option -> 'c) -> ('p, 'a) t -> ('p, 'b) t -> ('p, 'c) t

val pad_zip : ('p, 'a) t -> ('p, 'b) t -> ('p, 'a option * 'b option) t