rascal>day = {<"mon", 1>, <"tue", 2>, <"wed",3>,
>>>>>>> <"thu", 4>, <"fri", 5>, <"sat",6>, <"sun",7>};
rel[str, int]: {
<"thu",4>,
<"mon",1>,
<"sat",6>,
<"wed",3>,
<"tue",2>,
<"fri",5>,
<"sun",7>
}