Svex-mod->flatten
Flatten an SV module into a list of assignments and aliases.
- Signature
(svex-mod->flatten scope modalist moddb)
→
(mv var-fails mod-fails aliases assigns fixups constraints)
- Arguments
- scope — Guard (modscope-p scope).
- modalist — Guard (modalist-p modalist).
- moddb — Guard (moddb-ok moddb).
- Returns
- var-fails — Type (svarlist-p var-fails).
- mod-fails — Type (modnamelist-p mod-fails).
- aliases — Type (lhspairs-p aliases).
- assigns — Type (assigns-p assigns).
- fixups — Type (assigns-p fixups).
- constraints — Type (constraintlist-p constraints).
