- <nap_zero_unwind2_rmap_push_guard // <nplus_zero_sn
- >nsucc_unfold >nplus_succ_dx >nplus_succ_dx <nplus_assoc
- >tr_nap_plus_dx <unwind2_rmap_append
- <nap_plus_unwind2_rmap_closed [|*: /2 width=2 by pcc_A_sn/ ]
- <nap_zero_unwind2_rmap_push_guard //
+ >nsucc_unfold >nplus_succ_dx >nplus_succ_dx <nplus_assoc <nplus_assoc
+ >tr_nap_plus_dx <unwind2_rmap_append <nap_plus_unwind2_rmap_closed
+ /2 width=2 by pcc_A_sn/