Datatypes with Constructors

datatype tnode =

L of int |

I of int * tnode * tnode |

NULL;

(A tree node is either a Leaf containing an integer,

an interior node containing an int and two tree nodes,

or it’s NULL -- representing an empty tree.)