4 void print_apos(unsigned int revision
)
10 print_apos(revision
- 2);
14 void term_print(struct lambda
*t
, struct lambda
*mark
)
20 printf("%s", t
->data
.identifier
.ident
);
21 print_apos(t
->data
.identifier
.revision
);
25 printf("%s", t
->data
.abstraction
.ident
);
26 print_apos(t
->data
.abstraction
.revision
);
28 term_print(t
->data
.abstraction
.expr
, mark
);
33 term_print(t
->data
.application
.expr1
, mark
);
35 term_print(t
->data
.application
.expr2
, mark
);
43 void lambda_print(struct lambda
*t
, struct lambda
*mark
)