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(TarError) on failure.