UNB
/
CS
/
David Bremner
/
teaching
/
cs4613
/
lectures
/
lecture13
/ bt1.rkt
RecentChanges
#
lang plait
(
define-type
BT
[
mt
]
[
node
(
v
:
Number
) (
l
:
BT
) (
r
:
BT
)])