extractFile

Description:

public static Result<bool,Error> extractFile (Path archive, string entry, Path dest)

Extracts one archive entry into destination file path.

Result.ok(true) on success, or Result.error(ZipError) on failure.