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