Anonymous record in SML is equivalent to polymorphic record in OCaml ? (basically, "structural" record)