Provides struct and type for a EventWorkspaceRestoreProperties
@type t() :: %OpenCode.Generated.EventWorkspaceRestoreProperties{ session_id: String.t(), step: integer(), total: integer(), workspace_id: String.t() }