/* IMPORT */
/* MAIN */
const detokenize = (token) => {
    if ('source' in token)
        return token.source;
    return token.children.map(detokenize).join('');
};
/* EXPORT */
export default detokenize;
