Closed leonardt closed 4 years ago
Needed for Magma's user_namespace support, see https://github.com/rdaly525/coreir/pull/922 for some more info
Needed for Magma's user_namespace support, see https://github.com/rdaly525/coreir/pull/922 for some more info