There should be a cryptol_extract_submodule
sauclovian-g opened this issue · comments
David Holland commented
You can get a Cryptol module handle with cryptol_load
, and you can extract terms from it with cryptol_extract
, but there's apparently no way to get a module handle for a submodule of it. (This in turn means everything you would like to have in Cryptol submodules has to end up in separate files, which makes a mess.)
Related to #1964 and would probably serve as a workaround for it, but is distinct from it.