pub fn new(
        head_address: u64,
        tail_address: u64,
        condition: Option<il::Expression>,
    ) -> ManualEdge {
        ManualEdge {
            head_address,
            tail_address,
            condition,
        }
    }
/// Create a new manual edge
///
/// * `head_address` - The address of the instruction where this manual edge
/// should begin.
/// * `tail_address` - The address of the block this edge should point to.
/// * `condition` - An optional condition which guards this edge.
///
/// If there is no block at `tail_address`, this will cause the translator
/// to lift a block at the `tail_address`.
Create a new manual edge
`head_address` - The address of the instruction where this manual edge
should begin.
`tail_address` - The address of the block this edge should point to.
`condition` - An optional condition which guards this edge.

If there is no block at `tail_address`, this will cause the translator
to lift a block at the `tail_address`.
Create a new manual edge ` head_address ` - The address of the instruction where this manual edge should begin . ` tail_address ` - The address of the block this edge should point to . ` condition ` - An optional condition which guards this edge . If there is no block at ` tail_address ` this will cause the translator to lift a block at the ` tail_address ` .
pub fn new(
        head_address: u64,
        tail_address: u64,
        condition: Option<il::Expression>,
    ) -> ManualEdge {
        ManualEdge {
            head_address,
            tail_address,
            condition,
        }
    }
pub fn new ( head_address : u64 , tail_address : u64 , condition : Option < il :: Expression > , ) -> ManualEdge { ManualEdge { head_address , tail_address , condition , } }
Create a new manual edge
 `head_address` - The address of the instruction where this manual edge
should begin.
Create a new manual edge ` head_address ` - The address of the instruction where this manual edge should begin .
head_address
u64
tail_address
u64
condition
Option<il::Expression>
head_address
u64
tail_address
u64
condition
Option<il::Expression>