Improve doc comment section of the manual
Improve doc comment section of the manual

yunxing/ocaml,yunxing/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,eliberis/ocaml,eliberis/ocaml,msprotz/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,msprotz/ocaml,eliberis/ocaml,eliberis/ocaml,eliberis/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,yunxing/ocaml