Skip to main content
next_prime
logicaffeine_
proof
0.10.0
In logicaffeine_
proof::
factor
logicaffeine_proof
::
factor
Function
next_
prime
Copy item path
Source
pub fn next_prime(start: &BigInt) -> BigInt
Expand description
The smallest prime
≥ start
.