let
mkmty loc d = { pmty_desc = d; pmty_loc = mkloc loc; }