Expand description
general non-parameter compilation state required by all contracts
Structsยง
- MkReverse
Path - Helper for making a ReversePath.
- RPI
- RPI = ReversePathIterator This simplifies iterating over a reversepath.
- Reverse
Path - Used to Build a Shared Path for all children of a given context.