sig
  module type Basic =
    sig
      type 'a t
      val align_with :
        (('a, 'b) These.t -> 'c) ->
        'a Align.Basic.t -> 'b Align.Basic.t -> 'c Align.Basic.t
    end
  module type Basic2 =
    sig
      type ('p, 'a) t
      val align_with :
        (('a, 'b) These.t -> 'c) ->
        ('p, 'a) Align.Basic2.t ->
        ('p, 'b) Align.Basic2.t -> ('p, 'c) Align.Basic2.t
    end
  module type Basic3 =
    sig
      type ('p, 'q, 'a) t
      val align_with :
        (('a, 'b) These.t -> 'c) ->
        ('p, 'q, 'a) Align.Basic3.t ->
        ('p, 'q, 'b) Align.Basic3.t -> ('p, 'q, 'c) Align.Basic3.t
    end
  module type S =
    sig
      type 'a t
      val align_with : (('a, 'b) These.t -> 'c) -> 'a t -> 'b t -> 'c t
      val align : 'a t -> 'b t -> ('a, 'b) These.t t
      val falign : ('a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
      val pad_zip_with :
        ('a option -> 'b option -> 'c) -> 'a t -> 'b t -> 'c t
      val pad_zip : 'a t -> 'b t -> ('a option * 'b option) t
    end
  module type S2 =
    sig
      type ('p, 'a) t
      val align_with :
        (('a, 'b) These.t -> 'c) -> ('p, 'a) t -> ('p, 'b) t -> ('p, 'c) t
      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
    end
  module type S3 =
    sig
      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
      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
    end
  module Make :
    functor (A : Basic) ->
      sig
        val align_with :
          (('a, 'b) These.t -> 'c) -> 'a A.t -> 'b A.t -> 'c A.t
        val align : 'a A.t -> 'b A.t -> ('a, 'b) These.t A.t
        val falign : ('a -> 'a -> 'a) -> 'a A.t -> 'a A.t -> 'a A.t
        val pad_zip_with :
          ('a option -> 'b option -> 'c) -> 'a A.t -> 'b A.t -> 'c A.t
        val pad_zip : 'a A.t -> 'b A.t -> ('a option * 'b option) A.t
      end
  module Make2 :
    functor (A : Basic2) ->
      sig
        val align_with :
          (('a, 'b) These.t -> 'c) ->
          ('p, 'a) A.t -> ('p, 'b) A.t -> ('p, 'c) A.t
        val align :
          ('p, 'a) A.t -> ('p, 'b) A.t -> ('p, ('a, 'b) These.t) A.t
        val falign :
          ('a -> 'a -> 'a) -> ('p, 'a) A.t -> ('p, 'a) A.t -> ('p, 'a) A.t
        val pad_zip_with :
          ('a option -> 'b option -> 'c) ->
          ('p, 'a) A.t -> ('p, 'b) A.t -> ('p, 'c) A.t
        val pad_zip :
          ('p, 'a) A.t -> ('p, 'b) A.t -> ('p, 'a option * 'b option) A.t
      end
  module Make3 :
    functor (A : Basic3) ->
      sig
        val align_with :
          (('a, 'b) These.t -> 'c) ->
          ('p, 'q, 'a) A.t -> ('p, 'q, 'b) A.t -> ('p, 'q, 'c) A.t
        val align :
          ('p, 'q, 'a) A.t ->
          ('p, 'q, 'b) A.t -> ('p, 'q, ('a, 'b) These.t) A.t
        val falign :
          ('a -> 'a -> 'a) ->
          ('p, 'q, 'a) A.t -> ('p, 'q, 'a) A.t -> ('p, 'q, 'a) A.t
        val pad_zip_with :
          ('a option -> 'b option -> 'c) ->
          ('p, 'q, 'a) A.t -> ('p, 'q, 'b) A.t -> ('p, 'q, 'c) A.t
        val pad_zip :
          ('p, 'q, 'a) A.t ->
          ('p, 'q, 'b) A.t -> ('p, 'q, 'a option * 'b option) A.t
      end
end