Data race freedom in OxCaml (via avsm) — discussion

#ml