Hi folks, given a Constant.t
, how can I get the corresponding part to the path to the .vo file the constant is defined from its dirpath
? TIA!
I'm doing this
let mod_ = Names.Constant.modpath cst in
let dir = Names.ModPath.dp mod_ in
but dunno about the semantics
that seems fine
Last updated: Oct 13 2024 at 01:02 UTC