Timeline
{{entry.block}}
(post-visit)
({{entry.iter}})
→|
Function
Block {{selection.bb}}
Post-visit
{{iter.iter}}
→|
{{selection.bb}}.0
(initial state)
{{selection.bb}}.{{elt_index+1}}
{{elt}}
{{state.block}} initial state
Element {{selection.elt}}
(post-visit)
(iteration {{state.iter}})
Value
Logs
{{state.logs}}
Built-in lattice
{{state.builtinLattice}}