F.fprintf frm "\\Intro{%a}{%a}" xx r xl l
| T.LetIn (r, v, _) :: l ->
F.fprintf frm "\\Pose{%a}{%a}{%a}" xx r xat v xl l
+ | T.LApply (r, v, _) :: l ->
+ F.fprintf frm "\\LApply{%a}{%a}{%a}" xx r xat v xl l
| T.Change (u, _, None, _, _) :: l ->
F.fprintf frm "\\Change{%a}{}{%a}" xat u xl l
| T.Change (u, _, Some (s, _), _, _) :: l ->