Documentation

Lean.Elab.Deriving.SizeOf

Remark: SizeOf instances are automatically generated. We add support for deriving instance for SizeOf just to be able to use them to define instances for types defined at Prelude.lean