out

waitpid 関数を考えてみましょう。

lib C
  fun waitpid(pid : Int32, status_ptr : Int32*, options : Int32) : Int32
end

この関数のドキュメントは以下の内容です。

status_ptr が指すオブジェクトに保持されている子プロセスからのステータス情報

この関数を以下のように利用できます。

status_ptr = uninitialized Int32

C.waitpid(pid, pointerof(status_ptr), options)

このとき、status_ptr のポインタを関数に渡し、値を設定してもらっています。

上記は out パラメータを使うことでよりシンプルに書くことができます。

C.waitpid(pid, out status_ptr, options)

このとき、引数が Int32* であるため、コンパイラは自動的に Int32 方の status_ptr 変数を宣言します。

これは、引数がその型のポインタである場合には、どのような型に対しても有効です (もちろん、ポインタが指す値が関数によって設定されることが前提です) 。