Type Definition Unary
isla_lib::primop
type Unary<B> = fn(_: Val<B>, solver: &mut Solver<'_, B>) -> Result<Val<B>, ExecError>;