ocaml-variants

Current trunk