:(str alist col channel state evisc) => (mv col state)
Major Section: ACL2-BUILT-INS
This function is nearly identical to fmt1; see fmt1.  The only
difference is that fmt1 may insert backslash (\) characters when
forced to print past the right margin in order to make the output a
bit clearer in that case.  Use fmt1! instead if you want to be able
to read the forms back in.
 
 