Added distribution.mli interface