4 void term_print(struct lambda
*t
)
8 printf("%s", t
->data
.identifier
);
12 printf("%s", t
->data
.abstraction
.ident
);
14 term_print(t
->data
.abstraction
.expr
);
19 term_print(t
->data
.application
.expr1
);
20 term_print(t
->data
.application
.expr2
);
26 void lambda_print(struct lambda
*t
)