Up – snarky_field_extensions » Snarky_field_extensions » Field_extensions » Cyclotomic_square » Make_F4

Module `Cyclotomic_square.Make_F4`

Parameters
Signature

Parameters

module F2 : Intf.S_with_primitive_element

Signature

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