12 struct scheme
**schemes
;
15 struct gamma
*gamma_init();
16 void gamma_insert(struct gamma
*gamma
, char *ident
, struct scheme
*scheme
);
18 struct scheme
*gamma_lookup(struct gamma
*gamma
, char *ident
);
19 struct type
*gamma_fresh(struct gamma
*gamma
);
21 void gamma_print(struct gamma
*gamma
, FILE *out
);
22 void gamma_free(struct gamma
*gamma
);