Interface KernelExecuteOptions

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