Type Definition isla_lib::primop::Variadic[−][src]

type Variadic<B> = fn(_: Vec<Val<B>>, solver: &mut Solver<'_, B>, frame: &mut LocalFrame<'_, B>) -> Result<Val<B>, ExecError>;