Redirecting to
../../seitan/struct.RangedParameter.html
...