/* valid rec comparisons */ let type rectype = {name:string, id:int} var b:rectype := nil in b = nil; b <> nil end