[{"__symbolic":"module","version":4,"metadata":{"CHAR_ROUND_BRACKET_OPEN":40,"CHAR_ROUND_BRACKET_CLOSE":41,"CHAR_COMA":44,"CHAR_MINUS":45,"CHAR_POINT":46,"CHAR_0":48,"CHAR_9":58,"isDigit":{"__symbolic":"function","parameters":["char"],"value":{"__symbolic":"binop","operator":"&&","left":{"__symbolic":"binop","operator":">=","left":{"__symbolic":"reference","name":"char"},"right":48},"right":{"__symbolic":"binop","operator":"<=","left":{"__symbolic":"reference","name":"char"},"right":58}}}}}]