jx_pretty_print.h

/*
Copyright (C) 2015- The University of Notre Dame
This software is distributed under the GNU General Public License.
See the file COPYING for details.
*/

#ifndef JX_PPRINT_H
#define JX_PPRINT_H

#include "jx.h"
#include "buffer.h"
#include "link.h"
#include <stdio.h>


void jx_pretty_print_stream( struct jx *j, FILE *file );

#endif