lean4-code-actions/libs/utils/stream.ts

Refactorings and snippets for Lean 4

import { pipeline as $pipeline } from 'stream'
import { promisify } from 'util'

export const pipeline = promisify($pipeline)