//! Per-method view of a contract for the structured-IR renderer.
use crateMethodRef;
use crateCfg;
use crateInstruction;
pub use extract_method_cfgs;
pub use render_envelope;
/// A per-method view: the method's instruction slice and a self-contained
/// sub-CFG whose terminators do not leave the method (cross-range jumps are
/// rewritten to `Return`; the sub-CFG has a synthesised entry block).
pub