diff options
Diffstat (limited to 'docs/users_guide/exts/rank_polymorphism.rst')
-rw-r--r-- | docs/users_guide/exts/rank_polymorphism.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/users_guide/exts/rank_polymorphism.rst b/docs/users_guide/exts/rank_polymorphism.rst index 3b33b01d7e..32447228c7 100644 --- a/docs/users_guide/exts/rank_polymorphism.rst +++ b/docs/users_guide/exts/rank_polymorphism.rst @@ -1,3 +1,5 @@ +.. _arbitrary-rank-polymorphism: + Arbitrary-rank polymorphism =========================== |