Finite_field.Infix
val (~-) : t -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t
val (^) : t -> Integer.t -> t