8256f040f0d0add1a05a2204e7709681ad9a0a86
9 enum lambda_which
{lambda_ident
, lambda_abs
, lambda_app
};
11 enum lambda_which which
;
15 unsigned int revision
;
19 unsigned int revision
;
30 struct decllist
*next
;
35 struct lambda
*make_ident(char *);
36 struct lambda
*make_abstraction(char *, struct lambda
*);
37 struct lambda
*make_application(struct lambda
*, struct lambda
*);
38 struct lambda
*make_numeral(unsigned int i
);
39 struct lambda
*make_bool(bool b
);
40 #define YYSTYPE struct lambda *