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.