@[inline]

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

Equations

• Option.get! x = match x with | some x => x | none => panicWithPosWithDecl "Init.Data.Option.BasicAux" "Option.get!" 16 14 "value is none"