let region_assigns k = D.p_app1 "assigns" (F.e_int k)