generated by
ocamlc -i vector3.ml > vector3.mli