Documentation

Batteries.Util.Panic

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

Panic with a specific default value v.

Equations
@[simp]
theorem Batteries.panicWith_eq {α : Sort u_1} (v : α) (msg : String) :
panicWith v msg = v