1#lang racket/base 2 3(require typed/untyped-utils 4 "private/number-theory/divisibility.rkt" 5 "private/number-theory/modular-arithmetic.rkt" 6 (except-in "private/number-theory/number-theory.rkt" prev-prime next-prime) 7 (except-in "private/number-theory/factorial.rkt" factorial permutations) 8 "private/number-theory/bernoulli.rkt" 9 "private/number-theory/eulerian-number.rkt" 10 "private/number-theory/farey.rkt" 11 "private/number-theory/fibonacci.rkt" 12 "private/number-theory/partitions.rkt" 13 "private/number-theory/polygonal.rkt" 14 "private/number-theory/primitive-roots.rkt" 15 "private/number-theory/quadratic.rkt" 16 "private/number-theory/quadratic-residues.rkt" 17 "private/number-theory/tangent-number.rkt") 18 19(require/untyped-contract 20 "private/number-theory/factorial.rkt" 21 [factorial (Integer -> Positive-Integer)] 22 [permutations (Integer Integer -> Natural)]) 23 24(require/untyped-contract 25 "private/number-theory/binomial.rkt" 26 [binomial (Integer Integer -> Natural)]) 27 28(require/untyped-contract 29 "private/number-theory/number-theory.rkt" 30 [next-prime (Integer -> Integer)] 31 [prev-prime (Integer -> Integer)]) 32 33(provide (all-from-out 34 "private/number-theory/divisibility.rkt" 35 "private/number-theory/modular-arithmetic.rkt" 36 "private/number-theory/number-theory.rkt" 37 "private/number-theory/factorial.rkt" 38 "private/number-theory/bernoulli.rkt" 39 "private/number-theory/eulerian-number.rkt" 40 "private/number-theory/farey.rkt" 41 "private/number-theory/fibonacci.rkt" 42 "private/number-theory/partitions.rkt" 43 "private/number-theory/polygonal.rkt" 44 "private/number-theory/primitive-roots.rkt" 45 "private/number-theory/quadratic.rkt" 46 "private/number-theory/quadratic-residues.rkt" 47 "private/number-theory/tangent-number.rkt") 48 next-prime prev-prime 49 factorial permutations 50 binomial) 51