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

Panic with a specific default value v.

@[simp]

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