Problem 4.

Please Code in language Ocaml: and complete (a) at the bottom

For the three next problems you will deal with the data type of polymorphic binary trees. The solution to each part is meant to be very short (one to four lines). You may (and should) use functions from earlier parts to solve later parts. Unless otherwise specified, your solutions may utilize functions from the standard OCaml library.

Define a polymorphic data type called a binTree as follows:

type a binTree =

| Leaf

| Node of a * (a binTree) * (a binTree)

Trees of this type will contain a single piece of data of type a at each node, and no data at their leaves.

(a) TODO: Define an OCaml function mapT : (a -> b) -> a binTree -> b binTree which operates on trees just as map operates on lists. In other words, mapT takes a function and applies it to every data item of type a in a tree of type a binTree.

starter code:

type 'a binTree = | Leaf | Node of 'a * ('a binTree) * ('a binTree)

let rec mapT (f : 'a -> 'b) (t : 'a binTree) : 'b binTree = (* your work here *) Leaf