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