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
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