/* file boolpr1.c */

#include "sctk.h"

 /**********************************************************************/
 /*                                                                    */
 /*   char *bool_print(x)                                              */
 /*                                                                    */
 /* Returns the printing equivalent of the boolean *x.                 */
 /*                                                                    */
 /**********************************************************************/

 char *bool_print(boolean x) {if (x) return "T"; else return "F";}