spacepaste
new
Paste details
reply
|
raw
type
stree
=
|
Leaf
of
int
|
Node
of
int
*
stree
list
function
|
Leaf
i
as
tree
|
Node
(
i
,
_)
as
tree
->
i
,
tree