/**
 * print.h
 *
 * First pass at a printer, for bootstrapping.
 *
 *
 * (c) 2017 Simon Brooke <simon@journeyman.cc>
 * Licensed under GPL version 2.0, or, at your option, any later version.
 */

#include <ctype.h>
#include <stdio.h>

#ifndef __print_h
#define __print_h

void print( FILE * output, struct cons_pointer pointer );
extern int print_use_colours;

#endif