I have a custom vernacular command that eventually does stuff depending on a type. Currently, I am doing Stdarg.wit_ref
-> Constrintern.locate_reference
-> Typeops.type_of_global_in_context
. But that feels clumsy. What is the best approach?
Last updated: Oct 13 2024 at 01:02 UTC