$($define$-$type Tree

$[$positive$-$leaf $($val : Number$)]$

$[$negative$-$leaf $($val : Number$)]$

$[$interior$-$node $($left : Tree$)($right : Tree$)])$