Higher |D'rcler rIlrees
Recall our denition of binary trees:
datatype 3a tree = Empty
I Node of 3a tree a: 'a 1: a tree
1 Implementation
"e 1i'rill he 1.rorlring with some higher-order functions o
Sequences
Seq.map : ('a -> 'b) -> 'a Seq.seq -> 'b Seq.seq, which takes a function and
a sequence and returns a sequence whose elements are the result of applying the
given function to the correspondi