let type a = int type b = a in end