/**
 * What `cat`, `cat -n`, `head -n`, and `tail -n` print for a file's text.
 *
 * safeBash runs a lone read of one file through `_read` instead of the
 * program, so the approval it asks for means what the read tool's
 * approval means. These functions print the text the way the programs
 * do, with no file access. A parity test in tests/agency/safeBash.agency
 * compares each view with the real program.
 *
 * See docs/dev/stdlib/safe-bash.md, "The read family".
 */
/** How the shell-free path prints a file. Mirrors `ReadView` in
 * stdlib/safeBash/actions.agency, which must keep these fields. */
export type ReadView = {
    kind: "whole";
} | {
    kind: "numbered";
} | {
    kind: "head";
    lines: number;
} | {
    kind: "tail";
    lines: number;
};
/** What cat, cat -n, head -n, or tail -n prints for `text`. */
export declare function _renderReadView(text: string, view: ReadView): string;