Redirecting to
../../seitan/struct.UniqueProperty.html
...