let type rectype = {name:string , id:int} var rec1: rectype := rectype {name="Name", id=1} in rec1 = () end