feat: add support for nested modules

[tohrnii]

Describe your changes

Addressing #983

Checklist before requesting a review

• Repo forked and branch created from next according to naming convention.
• Commit messages and codestyle follow conventions.
• Relevant issues are linked in the PR description.
• Tests added for new functionality.
• Documentation/comments updated according to changes.

[bobbinth]

Thank you! Looks good! I left some comments inline. Basically, I'm thinking we can change the approach so that all path manipulations are done at the time when we build libraries and everything else works as is. Basically, as we traverse directory tree, if we see something like x/y/mod.masm we transform this into library path x::y.

We should also probably add a check to the library construction logic to make sure that we get an error if there a file with the same name as the directory. For example:

/x/y/mod.masm
/x/y.masm

The above should fail because having y.masm conflicts with y/mod.masm.

[bobbinth]

Looks good! Thank you! I left a couple of small comments inline.

One thing I'm wondering is whether there is a good way to test this somehow. Maybe we could add some useful function under std::math or something like that?

[tohrnii]

One thing I'm wondering is whether there is a good way to test this somehow. Maybe we could add some useful function under std::math or something like that?

One option is to re-export methods of the fri or ecdsa module from mod.masm?

[bobbinth]

One option is to re-export methods of the fri or ecdsa module from mod.masm?

Good idea! Let's do this: re-export std::crypto::stark::verifier::verify from std::crypto::stark.

[tohrnii]

One other question is if we should add a build step to copy the docs from stdlib crate to docs crate so that they are in sync.

[bobbinth]

One other question is if we should add a build step to copy the docs from stdlib crate to docs crate so that they are in sync.

No, the formatting on auto-generated docs needs to be improved quite a bit.

[bobbinth]

All looks good! Thank you!