I Have Had an implementation of OBDD in OCaml.

It is only a simple module but i used most of the techniques decribed
in the Christoph Meinel book -  Algorithms and Data Structures in VLSI
Design.