temp.h

#include <stdio.h>
#include "symbol.h"
#include "util.h"

typedef struct Temp_temp_* Temp_temp;
Temp_temp Temp_newtemp(void);

typedef struct Temp_tempList_* Temp_tempList;
struct Temp_tempList_ {
    Temp_temp head;
    Temp_tempList tail;
};
Temp_tempList Temp_TempList(Temp_temp head, Temp_tempList tail);

typedef S_symbol Temp_label;
Temp_label Temp_newlabel(void);
Temp_label Temp_namedlabel(string name);
string Temp_labelstring(Temp_label s);

typedef struct Temp_labelList_* Temp_labelList;
struct Temp_labelList_ {
    Temp_label head;
    Temp_labelList tail;
};
Temp_labelList Temp_LabelList(Temp_label head, Temp_labelList tail);

typedef struct Temp_map_* Temp_map;
Temp_map Temp_empty(void);
Temp_map Temp_layerMap(Temp_map over, Temp_map under);
void Temp_enter(Temp_map m, Temp_temp t, string s);
string Temp_look(Temp_map m, Temp_temp t);
void Temp_dumpMap(FILE* out, Temp_map m);

Temp_map Temp_name(void);