Provides struct and type for a EventCommandExecutedProperties
@type t() :: %OpenCode.Generated.EventCommandExecutedProperties{ arguments: String.t(), message_id: String.t(), name: String.t(), session_id: String.t() }