Improve documentation of slap_SDCZ_la.mli