(infer? (load library.pro))
(infer? (load hw4p3))
;
;
;
(infer? (size (tree (tree 3) 1 (tree 2)) 3))
(infer? (size (tree emptyTree) N) (print N))
;
;
;
(infer? (depth (tree emptyTree) N) (print N))
(infer? (depth (tree 3) N) (print N))
(infer? (depth (tree (tree 3) 1 (tree 4)) N) (print N))
;
;
;
(infer? (remove (tree (tree 3) 1 (tree 2)) (tree 2) Ans) (print Ans))
(infer? (remove (tree (tree 3) 1 (tree 2)) (tree (tree 3) 1 (tree 2)) Ans)
        (print Ans))
quit