/* a record type and a record variable */
let
  type  rectype = {name : string, age : int}
  var rec1 : rectype := rectype {name="Nobody", age=1000}
in
  rec1 <> nil;
  rec1 := nil;
  rec1 <> nil
end