Type Definition isla_lib::primop::Binary

type Binary<B> = fn(_: Val<B>, _: Val<B>, solver: &mut Solver<B>) -> Result<Val<B>, ExecError>;