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