%option noyywrap 
%{
#include "kol.tab.hpp"
%}

%%
[\n,()]	return *yytext;
var	return VAR;
formula	return FORMULA;
\?val	return VAL;
[a-zA-Z_][A-Za-z0-9]*	return ID;
"\\/"	return DISJ;
"/\\"	return KONJ;
"=>"	return IMPL;
"~"	return NEG;
":="	return ASSIGN;
%%
