9e6280c1c3fce5eb4b091eae059076a286c0f37c
4 #define PRINT_ABS(t) {\
5 if(t->data.abstraction.strict)\
7 printf("%s", t->data.abstraction.ident);\
11 void term_print(struct lambda
*t
, struct lambda
*mark
)
17 printf("%s", t
->data
.identifier
.ident
);
22 while((t
= t
->data
.abstraction
.expr
)->which
== lambda_abs
){
31 term_print(t
->data
.application
.expr1
, mark
);
32 if(t
->data
.application
.expr1
->which
== lambda_abs
)
34 term_print(t
->data
.application
.expr2
, mark
);
42 void lambda_print(struct lambda
*t
, struct lambda
*mark
)