Struct CallIndirect 

pub struct CallIndirect<'a> {
    pub index: &'a BV,
    pub table_size: &'a BV,
    pub slot_ptr: &'a BV,
    pub type_trap: TypeTrap<'a>,
}

The operands of a call_indirect trap check (WASM §4.4.8) — the synth-BV mirror of ordeal::trap::CallIndirect.

Fields

index: &'a BV

The table index operand.

table_size: &'a BV

The table’s element count.

slot_ptr: &'a BV

The loaded funcref word; a null (zero) slot traps before the call.

type_trap: TypeTrap<'a>

How the element’s type is checked.