afaac0186926850baa9c4c11f83eba04f9642d94
4 void print_apos(unsigned int revision
)
10 print_apos(revision
- 2);
14 void term_print(struct lambda
*t
)
18 printf("%s", t
->data
.identifier
.ident
);
19 print_apos(t
->data
.identifier
.revision
);
23 printf("%s", t
->data
.abstraction
.ident
);
24 print_apos(t
->data
.abstraction
.revision
);
26 term_print(t
->data
.abstraction
.expr
);
31 term_print(t
->data
.application
.expr1
);
32 term_print(t
->data
.application
.expr2
);
38 void lambda_print(struct lambda
*t
)