/*=====================================================================*/
/*    .../hop/hop/node_modules/readlines/lib/readlines.d.ts            */
/*    -------------------------------------------------------------    */
/*    Author      :  Manuel Serrano                                    */
/*    Creation    :  Tue Apr 26 08:56:06 2022                          */
/*    Last change :  Thu Mar  9 15:12:18 2023 (serrano)                */
/*    Copyright   :  2022-23 Manuel Serrano                            */
/*    -------------------------------------------------------------    */
/*    TypeScript type declarations                                     */
/*=====================================================================*/

export function readLines(fd: number): string[];