Make_F6 (snarky_field_extensions.Snarky_field_extensions.Field_extensions.Cyclotomic_square.Make

Parameters

module F2 : 
  Intf.S_with_primitive_element
    with type 'a A.t = 'a * 'a
     and type 'a Base.t_ = 'a

module Params : sig ... end

Signature

val cyclotomic_square : 
  ((F2.Base.t * F2.Base.t * F2.Base.t) * (F2.Base.t * F2.Base.t * F2.Base.t)) ->
  ((F2.Impl.Field.Var.t * F2.Impl.Field.Var.t * F2.Impl.Field.Var.t)
   * (F2.Impl.Field.Var.t * F2.Impl.Field.Var.t * F2.Impl.Field.Var.t))
    F2.Impl.Checked.t