Implementation of "Pattern Matching in Trees", in OCaml. - View it on GitHub