OCaml package documentation

1. generalised_signatures b1115ce