Stream: MetaCoq

Topic: Get modpath of file


view this post on Zulip Basile Gros (Feb 14 2024 at 13:45):

Is there a plugin or API call to get the modpath or dirpath for the coq file you MetaCoq Run it in ?

view this post on Zulip Basile Gros (Feb 15 2024 at 09:37):

Nevermind, found it, it's called tmCurrentModPath.


Last updated: Jul 23 2024 at 21:01 UTC