def prime

bend-collections-laws-math@1.0.0.0 · spec/math/number.bend:73

import Base

73# n is prime: 2 <= n and no d in [2, n) divides n
74def prime(+n: Nat) -> Bool:
75  match n:
76    case 0n:
77      False{}
78    case 1n:
79      False{}
80    case 2n+ +p:
81      nodiv(p, 2n+p, 2n)