Extend.Sqrt_params
val two_adicity : F.Nat.t -> Core_kernel.Int.t
type nonrec t = {
two_adicity : int;
quadratic_non_residue_to_t : F.t;
t_minus_1_over_2 : F.Nat.t;
}
val first : (F.t -> 'a option) -> 'a
val create : unit -> t
val t : t lazy_t