Defining own Repr for an user-defined type

Stream: lean4

[Mika]

How do you define your own custom Repr for an user-defined type instead of just deriving it?

[Henrik Böving]

docs4#Repr is just a type class you can implement it however you wish

[Mika]

Where does this documentation come from? Until now I only used the sources from https://github.com/leanprover/lean4

[Henrik Böving]

It is generated by https://github.com/leanprover/doc-gen4

[Mika]

Okidoki, thanks :)