let type a = { tostr:string } in if 1 < 3 then (new a { tostr = "true" }) else (new a { tostr = "false" }) end