Documentation
Init
.
Data
.
Option
.
BasicAux
Search
Google site search
Init
.
Data
.
Option
.
BasicAux
source
Imports
Init.Util
Init.Data.Option.Basic
Imported by
Option
.
get!
source
@[inline]
def
Option
.
get!
{α :
Type
u}
[
Inhabited
α
]
:
Option
α
→
α
Instances For