exponential.ml

module type A = sig
  module type A = sig
    module type A = sig
      module type A = sig
        module type A = sig
          module type A = sig
            module type A = sig
              module type A = sig
                module type A = sig
                  module type A = sig
                    module type A = sig
                      module type A = sig
                        module type A = sig
                          module type A = sig
                            include Map.S
                          end
                        end
                      end
                    end
                  end
                end
              end
            end
          end
        end
      end
    end
  end
end