Stream: Coq users

Topic: Command to list modules?

view this post on Zulip Pierre Rousselin (May 16 2024 at 14:43):

Is there a command to print current modules (and module types and functors)?
I am looking for something like the Print Libraries command.

view this post on Zulip Gaëtan Gilbert (May 16 2024 at 14:49):

I don't think so
there's Print All but that's only for the ones from the current file

view this post on Zulip Pierre Rousselin (May 16 2024 at 14:52):

Thank you, I will write an issue.

Last updated: Oct 13 2024 at 01:02 UTC