2
using System.Collections.Generic;
8
using TokenStream = IEnumerator<TexToken>;
10
public static class DebugExtensions
12
public static string ToTokenString(this TokenStream stream)
14
return ToTokenString(stream.ToArray());
17
public static string ToTokenString(this IEnumerable<TexToken> stream)
19
return string.Join(" ", stream.Select(t => t.ToString()).ToArray());