../
svabench utils
Return declaration given a module name
https://verificationacademy.com/forums/t/working-of-bind-construct/41111
https://verificationacademy.com/forums/t/working-of-bind-construct/41111