Physlib.Meta.AllFilePaths

Let $\text{prev}$ be an array of file paths, $\text{root}$ be a string representing a root directory, and $\text{path}$ be a specific file path. The function `allFilePaths.go` is a recursive utility that traverses the file system starting from $\text{path}$ relative to $\text{root}$, appending all discovered file paths to $\text{prev}$, and returns the resulting array as an $\text{IO}$ operation.

The function `allFilePaths` is an $\text{IO}$ operation that returns an array containing the `FilePath` of every file found within the `./Physlib` directory.

The function `allPhyslibModules` is an $\text{IO}$ operation that returns an array of `Lean.Name` values representing the module names of all files within the `Physlib` directory. It processes the list of file paths by removing the `.lean` extension and converting the directory path separators into a dot-separated format, starting with the prefix `Physlib.`.