Path
Type of a path to a wire in svex modules, expressed relative to the local scope.
This is a sum-of-products (i.e., union) type, introduced by defflexsum.
Members
- :wire → path-wire
- Path to a wire in the local scope
- :scope → path-scope
- Path into a subscope, e.g., a.b.c
Subtopics
- Path-fix
- Fixing function for path structures.
- Path-p
- Recognizer for path structures.
- Path-scope
- Path into a subscope, e.g., a.b.c
- Path-equiv
- Basic equivalence relation for path structures.
- Path-count
- Measure for recurring over path structures.
- Path-append
- Path-wire
- Path to a wire in the local scope
- Path-kind
- Get the kind (tag) of a path structure.
