1 include "delayed_updating/unwind2/unwind_depth.ma".
2 include "ground/relocation/tr_uni_compose.ma".
5 ā¼[p]š¢ ā ā*[āāqā]ā¼[pāšāq]š¢.
6 #q @(list_ind_rcons ā¦ q) -q //
8 <depth_d_dx >list_cons_shift <list_append_assoc
10 check tr_tls_compose_uni_sn