← Repeated
→ ReplaceAll

Overview / Reference of built-in symbols / Patterns and rules /

RepeatedNull (`...`)

- a___Integer...//FullForm

- f[x] /. f[x, 0...] -> t