Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Projects
Debugging
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Gl
Esim
Vl2014
Sv
Vwsim
Fgl
Vl
Syntax
Loader
Warnings
Getting-started
Utilities
Printer
Kit
Mlib
Scopestack
Vl-interfaceportlist->ifnames
Vl-blockscope
Vl-scope-find-item
Vl-scopestack-find-item/ss/package
Vl-importlist-find-explicit-item
Vl-scopestack-find-item/context
Vl-importlist-find-implicit-item
Vl-import-stars-find-item
Vl-scopeinfo
Vl-importlist->explicit-item-alist
Vl-scopestack-find-definition/ss
Vl-scopeitem
Vl-scopestack-find-package/ss
Vl-scopestack
Vl-scopeinfo-find-item
Vl-scopestack-find-item/ss
Vl-scopestack-find-class/ss
Scopestack-constants
Vl-scope-namespace
Vl-maybe-scope
Vl-importresult
Vl-scopestack-push
Vl-import-stars-itemnames
Vl-scope->scopeinfo
Vl-scope-find-item-fast
Vl-interface-scope-find-item
Vl-genblob-scope-find-item
Vl-module-scope-find-item
Vl-design-scope-find-definition
Vl-scopestack-find-item
Vl-scopestack-find-definition
Vl-scopeinfo->itemnames
Vl-scope-find-portdecl
Vl-scope-find-definition
Vl-package-scope-find-item
Vl-interface-scope-find-portdecl
Vl-genblob-scope-find-portdecl
Vl-design-scope-find-item
Vl-blockscope-scope-find-item
Vl-scopestack-find-package
Vl-scope-find-package
Vl-module-scope-find-portdecl
Vl-design-scope-find-package
Vl-design-scope-find-class
Vl-class-scope-find-item
Vl-scopestack-find-class
Vl-scope-find-class
Vl-scopestack->hashkey
Vl-scope-find-portdecl-fast
Vl-package-scope-item-alist-top
Vl-scopestack->path-aux
Vl-scopedef
Vl-scopedef-p
Vl-scopedef-fix
Vl-scopedef-equiv
Vl-scopedef-alist
Vl-scopedef-alist-p
Vl-scopedef-alist-fix
Vl-scopedef-alist-equiv
Vl-scopedeflist
Vl-scope-portdecl-alist
Vl-scope-package-alist
Vl-scope-find-definition-fast
Vl-scope-definition-alist
Vl-scope-find-package-fast
Vl-scope-find-class-fast
Vl-scope-class-alist
Vl-scopestack->path
Vl-scopestack->design
Vl-scopeitem->name
Vl-scope
Vl-scopestack-init
Vl-importlist->star-packages
Vl-scopestack-pop
Vl-scopestack-nesting-level
Vl-scopestack->toplevel
Vl-scope->scopetype
Vl-scope->id
Vl-design-scope-package-alist-top
Vl-bindlist->modinsts
Vl-scopestack-toplevel-p
Vl-scopestacks-free
Vl-importresult-alist
Hid-tools
Filtering-by-name
Vl-interface-mocktype
Stripping-functions
Genblob
Expr-tools
Extract-vl-types
Hierarchy
Range-tools
Finding-by-name
Stmt-tools
Modnamespace
Flat-warnings
Reordering-by-name
Datatype-tools
Syscalls
Allexprs
Lvalues
Port-tools
Transforms
X86isa
Svl
Rtl
Software-verification
Math
Testing-utilities
Vl-scopedef
Vl-scopedef-alist
An alist mapping
stringp
to
vl-scopedef-p
.
This is an ordinary
fty::defalist
.
Subtopics
Vl-scopedef-alist-p
Recognizer for
vl-scopedef-alist
.
Vl-scopedef-alist-fix
(vl-scopedef-alist-fix x)
is an
fty
alist fixing function that follows the fix-keys strategy.
Vl-scopedef-alist-equiv
Basic equivalence relation for
vl-scopedef-alist
structures.