pub type Block = Idx<BlockData>;
One basic block, in the function that owns it.
pub struct Block { /* private fields */ }