let string_of_token (token : t_token) : string = match token with |FML_LETTER s -> s |RULE_LETTER s -> s |HSEP -> ";" |RSEP n -> "#" ^ (string_of_int n) |VSEP -> ":"