Wilson's theorem states that a natural number $n > 1$ is a prime number if and only if the product of all the positive integers less than $n$ is one less than a multiple of $n$.

Is there a version of the theorem in $\mathbb Z/p\mathbb Z[t]$ where $p$ is a prime?

Are there any other non-trivial versions?

My motivation is the following.

There is no efficient algorithm for primes without Cramer's conjecture and so perhaps working with irreducible polynomials avoids **conjectures** and so is finding irreducibles in $\mathbb Z/p\mathbb Z[t]$ any easier?