lean4-code-actions/libs/utils/volume.ts

Refactorings and snippets for Lean 4

export const B = 1

export const KB = 1024 * B

export const MB = 1024 * KB

export const GB = 1024 * MB