add docs.mli