Functor Align.Make3

module Make3: 
functor (A : Basic3) -> S3  with type ('p, 'q, 'a) t := ('p, 'q, 'a) A.t

include Align.Basic3

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

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

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

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