Skip to content

Update src/Init/SizeOf.lean

1f7e555
Select commit
Loading
Failed to load commit list.
Merged

refactor: name the default SizeOf instance #5981

Update src/Init/SizeOf.lean
1f7e555
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs