This is a simplified version of #599, rebased on main and using the existing File.Stat.t record type.
As discussed in the call today, we might switch to a GADT version later, if that can be shown to be faster (so far it seems to be at best the same speed, and slower with multiple fields).
This is a simplified version of #599, rebased on
mainand using the existingFile.Stat.trecord type.As discussed in the call today, we might switch to a GADT version later, if that can be shown to be faster (so far it seems to be at best the same speed, and slower with multiple fields).