Interface FileOperation

interface FileOperation {
    _type: File;
    from: undefined | URI;
    metadata?: WorkspaceEditMetadata;
    options?: FileOperationOptions;
    to: undefined | URI;
}