Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Debugging
Projects
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-scopedeflist
Vl-scopedeflist-fix
Vl-scopedeflist-equiv
Vl-scopedeflist-p
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-scopedeflist
A list of
vl-scopedef-p
objects.
This is an ordinary
fty::deflist
.
Subtopics
Vl-scopedeflist-fix
(vl-scopedeflist-fix x)
is a usual
fty
list fixing function.
Vl-scopedeflist-equiv
Basic equivalence relation for
vl-scopedeflist
structures.
Vl-scopedeflist-p
(vl-scopedeflist-p x)
recognizes lists where every element satisfies
vl-scopedef-p
.