Namespaces
Symbols
Boxable
0.40.0
Definitions
def
box
[
a
] (
x
:
a
)
:
Boxed
\
Pure
with
Order[
a
]
Source
def
unbox
[
a
] (
x
:
Boxed
)
:
a
\
Pure
Source
Unboxes the given
x
.