let in end  type check