@[reducible, inline]

abbrev Spinners.dots : SpinnerData

Equations

• Spinners.dots = { frames := #["⣶", "⣧", "⣏", "⡟", "⠿", "⢻", "⣹", "⣼"], interval := 80, all_frames_same_length := Spinners.dots._proof_1 }

@[reducible, inline]

abbrev Spinners.windowsDots : SpinnerData

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev Spinners.loadingBar : SpinnerData

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev Spinners.spaceShip : SpinnerData

Equations

• Spinners.spaceShip = { frames := #["➤ ", " ➤ ", " ➤ ", " ➤ ", " ➤"], interval := 100, all_frames_same_length := Spinners.spaceShip._proof_1 }

@[reducible, inline]

abbrev Spinners.clock : SpinnerData

Equations

• Spinners.clock = { frames := #["🕛", "🕐", "🕑", "🕒", "🕓", "🕔", "🕕", "🕖", "🕘", "🕙", "🕚"], interval := 80, all_frames_same_length := Spinners.clock._proof_1 }

@[reducible, inline]

abbrev Spinners.loadingDots : SpinnerData

Equations

• Spinners.loadingDots = { frames := #[" ", "· ", "·· ", "···", " ··", " ·"], interval := 150, all_frames_same_length := Spinners.loadingDots._proof_1 }

@[reducible, inline]

abbrev Spinners.sand : SpinnerData

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev Spinners.dotsCircle : SpinnerData

Equations

• One or more equations did not get rendered due to their size.