View Source TypeCheck.DefaultOverrides.File.Stat (TypeCheck v0.10.7)