let type t = record {x : int, y : int} in new t {x=1, y=2} end