Redirecting to
../../rand_distr/enum.DirichletError.html
...