pub trait BasicBlock {
// Required method
fn dataflow_input(&self) -> &TypeRow;
}
Expand description
Functionality shared by DataflowBlock and Exit CFG block types.
Required Methods§
sourcefn dataflow_input(&self) -> &TypeRow
fn dataflow_input(&self) -> &TypeRow
The input dataflow signature of the CFG block.