export function processLine(line: string): string | null { if (!line) { return null; } const trimmed: string = line.trim(); if (trimmed.length === 0) { return null; } const line_0: string = trimmed[0]; if ( line_0 === '#' || line_0 === ' ' || line_0 === '\r' || line_0 === '\n' || line_0 === '!' || (line_0 === '/' && trimmed[1] === '/') ) { return null; } return trimmed; } export async function processLineFromReadline(rl: AsyncIterable): Promise { const res: string[] = []; for await (const line of rl) { const l: string | null = processLine(line); if (l) { res.push(l); } } return res; }