Documentation on superclasses

Stream: new members

[Jannis Limperg]

Hey! Is there any documentation on how exactly Lean's typeclass hierarchies (e.g. the extends keyword) work? I've looked at the reference manual and TPIL, but have come up empty.

[Jannis Limperg]

Ah, extends is documented under 'Structures', so never mind that. I'm still not exactly sure how things work, but maybe that'll get me to a point where I have more specific questions.