inc/term.h


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

#ifndef TERM_H
#define TERM_H

typedef int bruijn;
typedef enum { INV, ABS, APP, VAR } term_type;

struct term {
	term_type type;
	union {
		struct {
			struct term *term;
		} abs;
		struct {
			struct term *lhs;
			struct term *rhs;
		} app;
		bruijn var;
	} u;
};

struct term *new_term(term_type type);
void print_term(struct term *term);
void free_term(struct term *term);

#endif