Function displayTableHeader

ark/attest/cli/trace.ts:640–655

(columns: string[])

}

const displayTableHeader = (columns: string[]): void => {
	const headerRow = [
		columns[0].padEnd(4),
		columns[1].padEnd(20),
		columns[2].padEnd(15),
		...columns.slice(3)
	].join(" | ")
	const separatorRow = [
		"-".repeat(4),
		"-".repeat(20),
		"-".repeat(15),
		...columns.slice(3).map(col => "-".repeat(col.length))
	].join("-|-")
	outputCapture.write(headerRow)
	outputCapture.write(separatorRow)
}

const displayGroupedSummary = (functions: FunctionStats[]): void => {
	displayTableHeader([