cctools
jx_canonicalize.h
Go to the documentation of this file.
1
/*
2
Copyright (C) 2022 The University of Notre Dame
3
This software is distributed under the GNU General Public License.
4
See the file COPYING for details.
5
*/
6
7
#ifndef JX_CANONICALIZE_H
8
#define JX_CANONICALIZE_H
9
17
#include <stdio.h>
18
#include <stdbool.h>
19
20
#include "
jx.h
"
21
#include "
link.h
"
22
#include "
buffer.h
"
23
29
char
*
jx_canonicalize
(
struct
jx
*j);
30
31
#endif
jx.h
jx_canonicalize
char * jx_canonicalize(struct jx *j)
Canonicalize a JX expression to a string.
link.h
buffer.h
jx
JX value representing any expression type.
Definition:
jx.h:117
dttools
src
jx_canonicalize.h
Generated by
1.8.17