|
|
|---|
|
|
|
|---|
Print a newline to a given output channel
This function is simply a wrapper around a call to princ$ for the purpose of printing the ASCII character 0x0A, also known as a newline or line feed.
Function:
(defun newline (channel state) (declare (xargs :guard (and (symbolp channel) (open-output-channel-p channel :character state)))) (princ$ #\Newline channel state))