added documentation to mask.mli