WASIPreview3FilesystemDirectoryRenameCallback typedef

WASIPreview3FilesystemDirectoryRenameCallback = WASIPreview3FilesystemMutationResult Function(String oldName, WASIPreview3FilesystemDirectory targetDirectory, String newName)

Renames one child from this directory into targetDirectory.

Implementation

typedef WASIPreview3FilesystemDirectoryRenameCallback =
    WASIPreview3FilesystemMutationResult Function(
      String oldName,
      WASIPreview3FilesystemDirectory targetDirectory,
      String newName,
    );