ReasonML是一种静态类型的编程语言，它是OCaml语言的一种语法扩展。在ReasonML中，可以使用外部声明（external declaration）来与JavaScript代码进行交互。外部声明可以将JavaScript函数、对象和模块导入到ReasonML中，以便在ReasonML代码中使用。

不同的外部声明的含义如下：

1. 外部函数声明（external function declaration）：用于将JavaScript函数导入到ReasonML中。它告诉ReasonML编译器有一个具有特定类型的JavaScript函数可以在ReasonML代码中使用。

external alert : string => unit = "alert" [@bs.val];

上面的代码将JavaScript的alert函数声明为一个外部函数，在ReasonML中可以通过alert函数来调用它。该声明指定了函数的参数类型为字符串，返回类型为unit（即没有返回值）。

2. 外部对象声明（external object declaration）：用于将JavaScript对象导入到ReasonML中。它告诉ReasonML编译器有一个具有特定字段和方法的JavaScript对象可以在ReasonML代码中使用。

type document;

external document : document = "document" [@bs.val];

external getElementById : document => string => option(Dom.element) = "getElementById" [@bs.send];

上面的代码将JavaScript的document对象声明为一个外部对象，在ReasonML中可以通过document对象来访问它的字段和方法。该声明还指定了getElementById方法的类型，它接受一个字符串参数并返回一个可选的Dom.element类型。

3. 外部模块声明（external module declaration）：用于将JavaScript模块导入到ReasonML中。它告诉ReasonML编译器有一个具有特定类型和成员的JavaScript模块可以在ReasonML代码中使用。

module MyModule = {
  type t;
  external create : int => t = "MyModule.create" [@bs.module];
  external add : t => int => int = "MyModule.add" [@bs.module];
};

上面的代码将JavaScript的MyModule模块声明为一个外部模块，在ReasonML中可以通过MyModule模块来访问它的类型和成员。该声明指定了create函数的类型，它接受一个整数参数并返回一个t类型的值，以及add函数的类型，它接受一个t类型的值和一个整数参数，并返回一个整数。

通过使用外部声明，ReasonML可以与JavaScript代码进行无缝的交互，从而利用JavaScript生态系统中丰富的资源和库。