def Batteries.panicWith {α : Sort u_1} (v : α) (msg : String) : α

Panic with a specific default value v.

Equations

• Batteries.panicWith v msg = panic msg

@[simp]

theorem Batteries.panicWith_eq {α : Sort u_1} (v : α) (msg : String) : panicWith v msg = v