actually, you can write
let y = {Foo.a=3; b=4}
i.e. you only need the module name on one field of the record, not all
Indeed, at Jane Street, we've come to favor the following idiom:
let y = { Module_name.
field1 = val1;
field2 = val2;
...
}
The module name then works almost like a constructor, so you hardly need the syntax extension discussed elsewhere in this thread.
y