レコードの名前空間

モジュールAの中でレコードを宣言する。

module A = struct
  type t = {a:string; b:string}
end

各フィールド名はモジュールに属するので、このレコードを作るには次のようにしないといけない。

let f () = {
  A.a="foo";
  A.b="bar";
}

でも、全部のフィールド名にAを前置する必要はなくて、ひとつだけで十分らしい。

let f () = {
  A.a="foo";
  b="bar";
}

これで、pa_recordsがなくても平気だね。