Up – snarky_curves » Snarky_curves » Make_weierstrass_checked » 1-F » Impl » Field » Checked » Unsafe

Module `Checked.Unsafe`

val of_index : int -> Var.t