Struct DefineOrTrap 

pub struct DefineOrTrap {
    pub value: BV,
    pub may_trap: Bool,
}

A value paired with the condition under which the op traps instead of producing it — the synth-BV/Bool mirror of ordeal::trap::DefineOrTrap. value is the op’s result (e.g. the ARM quotient); may_trap is one of the trap-condition builders below.

Fields

value: BV

The op’s result value.

may_trap: Bool

The condition under which the op traps.

Trait Implementations

impl Clone for DefineOrTrap

fn clone(&self) -> DefineOrTrap

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DefineOrTrap

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.