summaryrefslogtreecommitdiff
path: root/docs/users_guide/exts/bindings.rst
blob: a57331eb3c03d61133c781525718fa8d3dd4092b (plain)
1
2
3
4
5
6
7
8
Bindings and generalisation
===========================

.. toctree::
    :maxdepth: 1

    monomorphism
    let_generalisation