val extension_field :
  ( F:  Field with type t = 't ) ->
  (module Polynomials.Univariate_polynomial_sig
     with type coeff = 't
      and type t = 'p) ->
  modulo:'p ->
  (module ExtensionField_sig with module BaseField = F)