- use "A6_examples.sml";
[opening A6_examples.sml]
val it = () : unit
val ex1 =
  Node
    (Node (Node (Leaf "a","b",Leaf "c"),"d",Leaf "e"),"Top",
     Node (Leaf "f","g",Leaf "h")) : string btree
val ex2 =
  Node
    (Node
       (Node (Node (Leaf "a","b",Leaf "c"),"d",Leaf "e"),"Top",
        Node (Leaf "f","g",Leaf "h")),"Big",
     Node
       (Node (Node (Leaf "a","b",Leaf "c"),"d",Leaf "e"),"Top",
        Node (Leaf "f","g",Leaf "h"))) : string btree
val ex3 = Leaf true : bool btree
val it = Node (Node (Node (Leaf 1,2,Leaf 3),4,Leaf 5),6,Node (Leaf 7,8,Leaf 9))
  : int btree
val it =
  Node
    (Node (Node (Node (Leaf 1,2,Leaf 3),4,Leaf 5),6,Node (Leaf 7,8,Leaf 9)),10,
     Node
       (Node (Node (Leaf 11,12,Leaf 13),14,Leaf 15),16,
        Node (Leaf 17,18,Leaf 19))) : int btree
val it = Leaf 1 : int btree
val it = [0,2,4,6,8] : int list
val it = [14.6,5.6,7.8,9.876] : real list
val it = [7,9,11,13] : int list
val it = [("one",1),("two",2),("three",3)] : (string * int) list
val it = [[1,2,3],[4,8,4]] : int list list
val it = [true,false,true,false,false] : bool list
val it = 1 : int
val it = 367 : int
val it = 732 : int
val it = 1097 : int
val it = 1462 : int
val it = 1828 : int
val it = 32 : int
val it = 61 : int
val it = 36349 : int
val it = 37348 : int
val it = 1000 : int
val it = 16559 : int
val tree1 = Nod (Nod (Lf 1,Lf 2),Lf 3) : tree
val tree2 = Nod (Lf 1,Nod (Lf 2,Lf 3)) : tree
val tree3 = Nod (Lf 1,Nod (Lf 2,Lf 4)) : tree
val it = true : bool
val it = true : bool
val it = false : bool
val it = false : bool
val it = () : unit
-