% Install the transformation pretty-printer, as defined in pret-trans.lua.
\installprettytype [TRANS] [TRANS]
% Define \starttrans \stoptrans
% Install the transformation pretty-printer, as defined in pret-trans.lua.
\installprettytype [TRANS] [TRANS]
% Define \starttrans \stoptrans