module type Basic = sig .. end
sig
end
type 'a t
'a
val align_with : (('a, 'b) These.t -> 'c) -> 'a t -> 'b t -> 'c t
(('a, 'b) These.t -> 'c) -> 'a t -> 'b t -> 'c t