Toggle theme.
Requires JavaScript
Toggle the menu
flix
0.45.0
Prelude
Definitions
box
unbox
Boxable
Definitions
def
box
(
x
:
a
)
:
Boxed
with
Order
[
a
]
Source
def
unbox
(
x
:
Boxed
)
:
a
Source
Unboxes the given
x
.