Up – snarky_curves » Snarky_curves » Make_weierstrass_checked » 1-F » Impl » Boolean » Unsafe

Module `Boolean.Unsafe`

val of_cvar : Field.Var.t -> var