Interface KernelExecuteOptions

interface KernelExecuteOptions {
    args?: string[];
    command: string;
    file?: string;
    kernel?: Kernel;
    shell: Shell;
    stderr?: WritableStream<Uint8Array>;
    stdin?: ReadableStream<Uint8Array>;
    stdinIsTTY?: boolean;
    stdout?: WritableStream<Uint8Array>;
    stdoutIsTTY?: boolean;
    terminal?: Terminal;
}