Toggle theme.
Toggle the menu
flix
0.53.0
Fixpoint
Definitions
box
unbox
Fixpoint.Boxable
Definitions
def
box
(
x
:
a
)
:
Boxed
with
Order
[
a
]
Source
Boxes the given
x
.
def
unbox
(
x
:
Boxed
)
:
a
Source
Unboxes the given
x
.