blob: 51e4dd515751f78c476b90f2a1ecbcc86a795c04 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#ifndef PINOCCIO_H
#define PINOCCIO_H
#include <stdbool.h>
#include <stdint.h>
typedef struct eqn {
int type;
union {
struct {
struct eqn *lhs, *rhs;
};
char ch;
};
} eqn_t;
typedef struct {
eqn_t *eqn;
uint64_t vars;
} ast_t;
void astprocess_cli(ast_t);
void astprocess_latex(ast_t);
void user_error(const char *, ...)
#if __GNUC__
__attribute__((format(printf, 1, 2)))
#endif
;
#endif /* !PINOCCIO_H */
|