in Ocaml please!

(* the type of a plymorphic tree *)

type 'a tree =

| Leaf of 'a

| Node of 'a tree * 'a tree

(*

TODO: write a function that shows bool trees :

For example,

show_bool_tree (Leaf true) ="true"

show_bool_tree (Node (Leaf true, Leaf false)) = "(true^false)"

show_bool_tree (Node (Node (Leaf true, Node (Leaf true, Leaf false)),

Node (Node (Leaf true, Node (Leaf true, Leaf false)), Leaf false))) =

"((true^(true^false))^((true^(true^false))^false))"

*)

let rec show_bool_tree (tree: bool tree) : string = failwith "unimplemented"

(* the type of a plymorphic tree *) type 'a tree = | Leaf of 'a | Node of 'a tree * 'a tree (* TODO: write a function that shows bool trees : For example, show_bool_tree (Leaf true) ="true" show_bool_tree (Node (Leaf true, Leaf false)) = "(true^false)" show_bool_tree (Node (Node (Leaf true, Node (Leaf true, Leaf false)), Node (Node (Leaf true, Node (Leaf true, Leaf false)), Leaf false))) = "((true^(true^false))^((true^(true^false) }^false)". *) let rec show_bool_tree (tree: bool tree) : string = failwith "unimplemented