let mktyp loc d = { ptyp_desc = d; ptyp_loc = mkloc loc; }