let
make_expr e ty ~loc =
{ expr_t = e; expr_type = ty; expr_pr = { ctt_loc = loc } }