let in let type t = {} in new t {} end ; 1 end