Field_extensions.Cyclotomic_square
module Make_F4 (F2 : Intf.S_with_primitive_element) : sig ... end
module Make_F6 (F2 : Intf.S_with_primitive_element with type 'a A.t = 'a * 'a and type 'a Base.t_ = 'a) (Params : sig ... end) : sig ... end