Use Ocaml Language.

Write a function contains_var : expression -> bool that returns true if and only if an expression contains a variable. Your implementation should be recursive.

The base code:

let rec contains_var (e:expression) : bool = raise ImplementMe ;;