@[inline]

def Option.get! {α : Type u} [Inhabited α] : Option α → α

Extracts the value from an Option, panicking on none.

Equations

• (some x_1).get! = x_1
• none.get! = panicWithPosWithDecl "Init.Data.Option.BasicAux" "Option.get!" 22 14 "value is none"