%% atom_number(atom, number)
lex([],[]).
lex(['int' | T], ['TYPE: int' | R]) :- lex(T, R).
lex(['bool' | T], ['TYPE: bool'] | R) :- lex(T, R).
lex([',' | T], ['COMMA: ,'] | R) :- lex(T, R).
lex([X | T], [X | R]) :- lex(T, R).
CgolJSBhdG9tX251bWJlcihhdG9tLCBudW1iZXIpCmxleChbXSxbXSkuCmxleChbJ2ludCcgfCBUXSwgWydUWVBFOiBpbnQnIHwgUl0pIDotICBsZXgoVCwgUikuCmxleChbJ2Jvb2wnIHwgVF0sIFsnVFlQRTogYm9vbCddIHwgUikgOi0gbGV4KFQsIFIpLgpsZXgoWycsJyB8IFRdLCBbJ0NPTU1BOiAsJ10gfCBSKSA6LSBsZXgoVCwgUikuCmxleChbWCB8IFRdLCBbWCB8IFJdKSA6LSBsZXgoVCwgUikuCg==