Module type Align.Basic3

module type Basic3 = sig .. end

type ('p, 'q, 'a) t 

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